Base.Types

Representation of Types

data Type

isArrowType

arrowArity

arrowArgs

arrowBase

arrowUnapply

typeVars

typeConstrs

typeSkolems

equTypes

qualifyType

unqualifyType

Representation of Data Constructors

data DataConstr

constrIdent

constrTypes

recLabels

recLabelTypes

tupleData

Representation of Quantification

data TypeScheme

data ExistTypeScheme

monoType

polyType

Predefined types

unitType

boolType

charType

intType

floatType

stringType

listType

ioType

tupleType

typeVar

predefTypes