GMT+0900List[T]をエンコードしたかったのですが、公式サンプルに載ってなかったのでメモ。classがあったとして、これの配列List[User]をcirceを使ってエンコードしたい。String,)基本的なエンコードこれは公式ドキュメントにも書いてあって、下記のように書くことができる。valの部分はシンプルに下記のように書くこともできる。deriveEncoder[User]配列のエンコードでは、上記のようにList[User]もエンコードできるのでは?と思って下記のように書くとコンパイル時に例外が発生する。ちなみにIntelliJ上ではエラー表示されない。deriveEncoder[List[User]]List(User(1,"YoshinoriN"),User(2,"Hoge")).asJson例外が出る。io.circe.generic.encoding.DerivedObjectEncoder[List[User]]じゃあ、結局のところ配列をエンコードするにはどうすればいいのかというとEncoder.encodeListというメソッドが存在するので、それを使えばいいです。Encoder.encodeList[User]List(User(1,"YoshinoriN"),User(2,"Hoge")).asJsonEncoder.encodeList[User]は暗黙のパラメータでEncoder[User]を要求するのでUserのエンコードも書く必要があります。上記でいう一行目です。これで実行すれば下記のような結果が得られます。}]ちなみに空の配列に対してasJsonでエンコードした場合は空配列のJSON[]が返ってくるので何か特別な例外処理的なのは必要ないです。YoshinoriN)。