MkCore

Constructing normal syntax

mkCoreLet

mkCoreLets

mkCoreApp

mkCoreApps

mkCoreConApps

mkCoreLams

mkWildCase

mkIfThenElse

mkWildValBinder

mkWildEvBinder

sortQuantVars

castBottomExpr

Constructing boxed literals

mkWordExpr

mkWordExprWord

mkIntExpr

mkIntExprInt

mkIntegerExpr

mkFloatExpr

mkDoubleExpr

mkCharExpr

mkStringExpr

mkStringExprFS

Floats

data FloatBind

wrapFloat

Constructing small tuples

mkCoreVarTup

mkCoreVarTupTy

mkCoreTup

mkCoreUbxTup

mkCoreTupBoxity

Constructing big tuples

mkBigCoreVarTup

mkBigCoreVarTup1

mkBigCoreVarTupTy

mkBigCoreTupTy

mkBigCoreTup

Deconstructing small tuples

mkSmallTupleSelector

mkSmallTupleCase

Deconstructing big tuples

mkTupleSelector

mkTupleSelector1

mkTupleCase

Constructing list expressions

mkNilExpr

mkConsExpr

mkListExpr

mkFoldrExpr

mkBuildExpr

Constructing Maybe expressions

mkNothingExpr

mkJustExpr

Error Ids

mkRuntimeErrorApp

mkImpossibleExpr

errorIds

rEC_CON_ERROR_ID

iRREFUT_PAT_ERROR_ID

rUNTIME_ERROR_ID

nON_EXHAUSTIVE_GUARDS_ERROR_ID

nO_METHOD_BINDING_ERROR_ID

pAT_ERROR_ID

rEC_SEL_ERROR_ID

aBSENT_ERROR_ID

tYPE_ERROR_ID