Data.Model.Types

Model

data TypeModel adtName consName inRef exRef

type TypeEnv adtName consName inRef exRef

data ADT name consName ref

data ConTree name ref

type Fields name ref

data Type ref

data TypeN r

data TypeRef name

Names

data Name

Model Utilities

constructorInfo

conTreeNameFold

conTreeTypeList

conTreeTypeFoldMap

Handy aliases

type HTypeModel

type HADT

type HType

Utilities

Re-exports

data Proxy k t