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/deconstructing 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