CoreUtils
Constructing expressions
mkInlineMe
mkSCC
mkCoerce
mkCoerceI
bindNonRec
needsCaseBinding
mkAltExpr
mkPiType
mkPiTypes
Taking expressions apart
findDefault
findAlt
isDefaultAlt
mergeAlts
trimConArgs
Properties of expressions
exprType
coreAltType
coreAltsType
exprIsDupable
exprIsTrivial
exprIsCheap
exprIsExpandable
exprIsHNF
exprOkForSpeculation
exprIsBig
exprIsConApp_maybe
exprIsBottom
rhsIsStatic
Expression and bindings size
coreBindsSize
exprSize
Hashing
hashExpr
Equality
cheapEqExpr
Manipulating data constructors and types
applyTypeToArgs
applyTypeToArg
dataConOrigInstPat
dataConRepInstPat
dataConRepFSInstPat