morphling/morphling/SchemaF

SchemaF

sealed trait SchemaF[P[_], F[_], I]

The base trait for the schema GADT.

Companion:
object
class Object
trait Matchable
class Any
class IsoSchema[P, F, I, J]
class OneOfSchema[P, F, I]
class PrimSchema[P, F, I]
class RecordSchema[P, F, I]

Value members

Abstract methods

def hfmap[G[_]](nt: FunctionK[F, G]): SchemaF[P, G, I]

HFunctor operation which allows transformation of the functor through which the structure of the schema will be interpreted.

HFunctor operation which allows transformation of the functor through which the structure of the schema will be interpreted.

Defining this operation directly on the SchemaF type rather than in morphling.SchemaF.schemaFHFunctor simplifies type inference.

def pmap[Q[_]](nt: FunctionK[P, Q]): SchemaF[Q, F, I]

HFunctor operation which allows transformation of the primitive algebra of the schema.

HFunctor operation which allows transformation of the primitive algebra of the schema.

Defining this operation directly on the SchemaF type rather than in morphling.SchemaF.schemaFHFunctor simplifies type inference.