Data.Model.Types

Model

data TypeModel adtName consName inRef exRef

type TypeEnv adtName consName inRef exRef

typeADTs

data ADT name consName ref

data ConTree name ref

data Type ref

data TypeN r

data TypeRef name

Names

data Name

data QualName

qualName

Model Utilities

adtNamesMap

typeN

typeA

constructors

constructorInfo

conTreeNameMap

conTreeTypeMap

conTreeTypeList

conTreeTypeFoldMap

fieldsTypes

fieldsNames

Handy aliases

type HTypeEnv

type HTypeModel

type HADT

type HType

type HTypeRef

Utilities

solve

solveAll

unVar

getHRef

Re-exports

data Proxy k t