morphling-circe/morphling.circe/ToJson

ToJson

object ToJson
Companion:
class
class Object
trait Matchable
class Any
ToJson.type

Type members

Classlikes

trait AllOps[S[_], A] extends Ops[S, A]
trait Ops[S[_], A] extends Serializable
trait ToToJsonOps extends Serializable
object nonInheritedOps extends ToToJsonOps
object ops

Value members

Concrete methods

@inline
def apply[S[_]](implicit instance: ToJson[S]): ToJson[S]

Summon an instance of ToJson for S.

Summon an instance of ToJson for S.

def serializeAlg[P[_]](using evidence$3: ToJson[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Encoder]
def serializeObjF[P[_], I](rb: FreeApplicative[[_] =>> PropSchema[I, Encoder, _$25], I])(using evidence$4: ToJson[P]): Encoder[I]

Givens

Givens

given given_ToJson_AnnotatedSchema[P[_], A[_]](using evidence$2: ToJson[P]): ToJson[[_] =>> AnnotatedSchema[P, A, _$11]]
given given_ToJson_EitherK[P[_], Q[_]](using evidence$5: ToJson[P], evidence$6: ToJson[Q]): ToJson[[_] =>> EitherK[P, Q, _$31]]
given given_ToJson_Schema[P[_]](using evidence$1: ToJson[P]): ToJson[[_] =>> Schema[P, _$4]]