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 equality evidence boxes

mkEqBox

Constructing general big tuples

mkChunkified

Constructing small tuples

mkCoreVarTup

mkCoreVarTupTy

mkCoreTup

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

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

eRROR_ID

rEC_SEL_ERROR_ID

aBSENT_ERROR_ID

uNDEFINED_ID

undefinedName