morphling-circe
API
Generated with
morphling-circe/morphling.circe/ToJson

ToJson

morphling.circe.ToJson$
See theToJson companion trait
object ToJson

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ToJson.type

Members list

Type members

Classlikes

trait AllOps[S[_], A] extends Ops[S, A]

Attributes

Supertypes
trait Ops[S, A]
trait Serializable
class Object
trait Matchable
class Any
trait Ops[S[_], A] extends Serializable

Attributes

Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[S, A]
trait ToToJsonOps extends Serializable

Attributes

Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
object nonInheritedOps.type
object nonInheritedOps extends ToToJsonOps

Attributes

Supertypes
trait ToToJsonOps
trait Serializable
class Object
trait Matchable
class Any
Self type
object ops

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ops.type

Value members

Concrete methods

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

Summon an instance of ToJson for S.

Summon an instance of ToJson for S.

Attributes

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]]
Generated with