SchemaF

morphling.SchemaF

See theSchemaF companion object

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

The base trait for the schema GADT.

Attributes

Companion: object
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class IsoSchema[P, F, I, J]

class OneOfSchema[P, F, I]

class PrimSchema[P, F, I]

class RecordSchema[P, F, I]

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.

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.

In this article

Generated with