RtClosureInspect
cvObtainTerm
cvReconstructType
improveRTTIType
data
Term
isTerm
isSuspension
isPrim
isFun
isFunLike
isNewtypeWrap
isFullyEvaluated
isFullyEvaluatedTerm
termType
mapTermType
termTyVars
foldTerm
data
TermFold
a
foldTermM
data
TermFoldM
m a
idTermFold
pprTerm
cPprTerm
cPprTermBase
type
CustomTermPrinter
m
data
Closure
getClosureData
data
ClosureType
isConstr
isIndirection
sigmaType