morphling-circe/morphling.circe/FromJson

FromJson

object FromJson
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

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

Value members

Concrete methods

def annDecoderAlg[P[_], Ann[_]](using evidence$5: FromJson[P], interpret: FunctionK[Ann, [T] =>> () => Decoder[T]]): HAlgebra[[Y1[_], Z1] =>> HEnvT[Ann, [Y[_], Z] =>> SchemaF[P, Y, Z], Y1, Z1], Decoder]
@inline
def apply[S[_]](implicit instance: FromJson[S]): FromJson[S]

Summon an instance of FromJson for S.

Summon an instance of FromJson for S.

def decodeObj[I](rb: FreeApplicative[[_] =>> PropSchema[I, Decoder, _$31], I]): Decoder[I]
def decoderAlg[P[_]](using evidence$4: FromJson[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Decoder]

Givens

Givens

given given_FromJson_AnnotatedSchema[P[_], A[_]](using evidence$2: FromJson[P], evidence$3: FunctionK[A, [T] =>> () => Decoder[T]]): FromJson[[_] =>> AnnotatedSchema[P, A, _$12]]
given given_FromJson_EitherK[P[_], Q[_]](using evidence$6: FromJson[P], evidence$7: FromJson[Q]): FromJson[[_] =>> EitherK[P, Q, _$40]]
given given_FromJson_Schema[P[_]](using evidence$1: FromJson[P]): FromJson[[_] =>> Schema[P, _$4]]