MkCore

# Constructing normal syntax

mkCoreLet

mkCoreLets

mkCoreApp

mkCoreApps

mkCoreConApps

mkCoreLams

mkWildCase

mkIfThenElse

mkWildValBinder

mkWildEvBinder

sortQuantVars

castBottomExpr

# Constructing boxed literals

mkWordExpr

mkWordExprWord

mkIntExpr

mkIntExprInt

mkIntegerExpr

mkNaturalExpr

mkFloatExpr

mkDoubleExpr

mkCharExpr

mkStringExpr

mkStringExprFS

mkStringExprFSWith

# Floats

data FloatBind

wrapFloat

# Constructing small tuples

mkCoreVarTup

mkCoreVarTupTy

mkCoreTup

mkCoreUbxTup

mkCoreTupBoxity

unitExpr

# 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