RecordSchema

morphling.RecordSchema

final case class RecordSchema[P[_], F[_], I](props: FreeApplicative[[_] =>> PropSchema[I, F, _$27], I]) extends SchemaF[P, F, I]

Wrapper for the free applicative structure which is used to construct and disassemble values of product types.

Type parameters

props: the free applicative value composed of zero or more PropSchema instances

Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait SchemaF[P, F, I]

class Object

trait Matchable

class Any
Show all

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