UHC.Light.Compiler.CoreRun.API

CoreRun AST

data Mod

data Exp

data SExp

data Alt

type Bind

Utilities

type CRArray x

Construction functions

mkLocLevRef

mkLocDifRef

mkGlobRef

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'

mkMod

mkMod'

Conversion

rrefToDif

Parsing

parseModFromString

Running

runCoreRunIO

Misc utils

printModule