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

Value members

Concrete methods

def apply[P[_]](using tj: ToJson[P]): ToJson[P]
def serializeAlg[P[_]](using evidence$1: ToJson[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Encoder]
def serializeObjF[P[_], I](rb: FreeApplicative[[_] =>> PropSchema[I, Encoder, _$26], I])(using evidence$1: ToJson[P]): Encoder[I]

Givens

Givens

given given_ToJson_AnnotatedSchema[P[_], A[_]](using evidence$1: ToJson[P]): ToJson[[_] =>> AnnotatedSchema[P, A, _$12]]
given given_ToJson_EitherK[P[_], Q[_]](using evidence$1: ToJson[P], evidence$2: ToJson[Q]): ToJson[[_] =>> EitherK[P, Q, _$32]]
given given_ToJson_Schema[P[_]](using evidence$1: ToJson[P]): ToJson[[_] =>> Schema[P, _$5]]
Generated with