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

FromJson

morphling.circe.FromJson
See theFromJson companion trait
object FromJson

Attributes

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

Members list

Value members

Concrete methods

def annDecoderAlg[P[_], Ann[_]](using evidence$1: FromJson[P], interpret: FunctionK[Ann, [T] =>> () => Decoder[T]]): HAlgebra[[Y1[_], Z1] =>> HEnvT[Ann, [Y[_], Z] =>> SchemaF[P, Y, Z], Y1, Z1], Decoder]
def apply[P[_]](using fj: FromJson[P]): FromJson[P]
def decodeObj[I](rb: FreeApplicative[[_] =>> PropSchema[I, Decoder, _$32], I]): Decoder[I]
def decoderAlg[P[_]](using evidence$1: FromJson[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Decoder]

Givens

Givens

given given_FromJson_AnnotatedSchema[P[_], A[_]](using evidence$1: FromJson[P], evidence$2: FunctionK[A, [T] =>> () => Decoder[T]]): FromJson[[_] =>> AnnotatedSchema[P, A, _$13]]
given given_FromJson_EitherK[P[_], Q[_]](using evidence$1: FromJson[P], evidence$2: FromJson[Q]): FromJson[[_] =>> EitherK[P, Q, _$41]]
given given_FromJson_Schema[P[_]](using evidence$1: FromJson[P]): FromJson[[_] =>> Schema[P, _$5]]
Generated with