UHC.Light.Compiler.Core.API

data EHCOpts

defaultEHCOpts

Core AST

data CModule

data CImport

data CDeclMeta

data CDataCon

data CExpr

data CBind

data CAlt

data CPat

data CPatFld

data CTag

data HsName

Names

mkUniqueHsName

mkHsName

mkHsName1

addHsNamePrefix

Construction functions

Constants

acoreUnit

acoreInt

acoreBuiltinInteger

acoreBuiltinString

acoreBuiltinError

acoreBuiltinUndefined

Variables

acoreVar

Let Bindings

acoreLet1Plain

acoreLet1Strict

acoreLetRec

Case

acoreCaseDflt

acoreAlt

acorePatCon

acorePatRestEmpty

acorePatFldBind

Abstraction

acoreLam

Application

acoreApp

Datatypes

acoreTagTup

Binds/Bounds

acoreBind1

acoreBind1Nm1

Module

makeModule

makeImport

makeMetaData

makeMetaDataCon

Utilities

makeMain