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 Errors 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

absEnv :: Map QualName (ADT String String (TypeRef QualName)) -> Either Errors AbsEnv

refErrors :: AbsEnv -> Errors

Check that all internal references in the ADT definitions are to ADTs defined in the environment

kindErrors :: AbsEnv -> Errors

Check that all type expressions have kind *: * Type constructors are fully applied * Type variables have * kind