UHC.Light.Compiler.CoreRun.API

CoreRun AST

data Mod

data Exp

type MbExp

data SExp

data Alt

type Bind

data RRef

data Import

data Meta

data DataCon

Utilities

type CRArray x

Construction functions

References

mkLocLevRef

mkLocDifRef

mkGlobRef

mkImpRef

mkExpRef

mkModRef

Expressions

mkExp

mkVar

mkVar'

mkInt

mkInt'

mkChar

mkChar'

mkInteger

mkInteger'

mkString

mkString'

mkDbg

mkDbg'

mkApp

mkApp'

mkTup

mkTup'

mkEval

mkTail

mkCase

mkLam

mkLam'

mkLet

mkLet'

mkFFI

mkFFI'

Meta

mkMetaDataCon

mkMetaDataType

Modules

mkMod

mkMod'

mkModWithMetas

mkModWithImportsMetas

mkImport

Conversion

rrefToDif

Parsing

parseModFromString

Running

runCoreRunIO

Misc utils

printModule