UHC.Light.Compiler.Core.API

Core AST

data CModule

data CImport

data CExport

data CDeclMeta

data CDataCon

data CExpr

data CBind

data CAlt

data CPat

data CPatFld

Construction functions

Constants

mkUnit

mkInt

mkInteger

mkChar

mkString

mkError

mkUndefined

Variables

mkVar

Let Bindings

mkLet1Plain

mkLet1Strict

mkLetRec

Abstraction

mkLam

Application

mkApp

Binds/Bounds

mkBind1

mkBind1Nm1

Constructor tags

mkCTag

destructCTag

ctagUnit

ctagTup

ctagTrue

ctagFalse

ctagCons

ctagNil

Case

mkCase

mkAlt

mkPatCon

mkPatRestEmpty

mkPatFldBind

Datatypes

mkTagTup

Module

mkModule

mkImport

mkExport

mkMetaData

mkMetaDataCon

mkMetaDataConFromCTag

Utilities

mkMain

parseExpr

printModule

Re-exports (or not???)