IsoSchema

morphling.IsoSchema
case class IsoSchema[P[_], F[_], I, J](base: F[I], eqv: Equivalent[I, J]) extends SchemaF[P, F, J]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SchemaF[P, F, J]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

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

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.

Attributes

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

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.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product