ZM.Abs

Derive absolute/canonical data type models

Documentation

absType :: Model a => Proxy a -> AbsType

Derive an absolute type for a type, or throw an error if derivation is impossible

absTypeModel :: Model a => Proxy a -> AbsTypeModel

Derive an absolute type model for a type, or throw an error if derivation is impossible

absTypeModelMaybe :: Model a => Proxy a -> Either String AbsTypeModel

Derive an absolute type model for a type, provided that:

• is an instance of Model

• no data type referred directly or indirectly by the type:

  • has higher kind variables
  • is mutually recursive with other data types