Base.Types
data Type
applyType
unapplyType
rootOfType
isArrowType
arrowArity
arrowArgs
arrowBase
arrowUnapply
class IsType t
typeConstrs
qualifyType
unqualifyType
qualifyTC
data Pred
qualifyPred
unqualifyPred
type PredSet
emptyPredSet
partitionPredSet
minPredSet
maxPredSet
qualifyPredSet
unqualifyPredSet
data PredType
predType
unpredType
qualifyPredType
unqualifyPredType
data DataConstr
constrIdent
constrTypes
recLabels
recLabelTypes
tupleData
data ClassMethod
methodName
methodArity
methodType
data TypeScheme
data ExistTypeScheme
monoType
polyType
typeScheme
rawType
arrowType
unitType
predUnitType
boolType
predBoolType
charType
intType
predIntType
floatType
predFloatType
stringType
predStringType
listType
consType
ioType
tupleType
numTypes
fractionalTypes
predefTypes