Base.Types

Representation of types

data Type

applyType

unapplyType

rootOfType

isArrowType

arrowArity

arrowArgs

arrowBase

arrowUnapply

class IsType t

typeConstrs

qualifyType

unqualifyType

qualifyTC

Representation of predicate, predicate sets and predicated types

data Pred

qualifyPred

unqualifyPred

type PredSet

emptyPredSet

partitionPredSet

minPredSet

maxPredSet

qualifyPredSet

unqualifyPredSet

data PredType

predType

unpredType

qualifyPredType

unqualifyPredType

Representation of data constructors

data DataConstr

constrIdent

constrTypes

recLabels

recLabelTypes

tupleData

Representation of class methods

data ClassMethod

methodName

methodArity

methodType

Representation of quantification

data TypeScheme

data ExistTypeScheme

monoType

polyType

typeScheme

rawType

Predefined types

arrowType

unitType

predUnitType

boolType

predBoolType

charType

intType

predIntType

floatType

predFloatType

stringType

predStringType

listType

consType

ioType

tupleType

numTypes

fractionalTypes

predefTypes