MkCore
Constructing normal syntax
mkCoreLet
mkCoreLets
mkCoreApp
mkCoreApps
mkCoreConApps
mkCoreLams
Constructing boxed literals
mkWordExpr
mkWordExprWord
mkIntExpr
mkIntExprInt
mkIntegerExpr
mkFloatExpr
mkDoubleExpr
mkCharExpr
mkStringExpr
mkStringExprFS
Constructing general big tuples
mkChunkified
Constructing small tuples
mkCoreVarTup
mkCoreVarTupTy
mkCoreTup
mkCoreTupTy
Constructing big tuples
mkBigCoreVarTup
mkBigCoreVarTupTy
mkBigCoreTup
mkBigCoreTupTy
Deconstructing small tuples
mkSmallTupleSelector
mkSmallTupleCase
Deconstructing big tuples
mkTupleSelector
mkTupleCase
Constructing list expressions
mkNilExpr
mkConsExpr
mkListExpr
mkFoldrExpr
mkBuildExpr