Safe Haskell	None
Language	Haskell98

UHC.Light.Compiler.CoreRun.API.Internal

Contents

CoreRun AST
Utilities
Re-export

Description

CoreRun Internal API

Intended for implementing stuff that has to know about internals (i.e. class instances).

See CoreRun.API.

To do (currently sorely missing): proper/enough primitives, and doc for them.

Synopsis

CoreRun AST

The datatypes making up a CoreRun program, with constructors

data AGItf Source

Constructors

AGItf_AGItf
Fields module_AGItf_AGItf :: !Mod

data Mod Source

Constructors

Mod_Mod
Fields ref2nm_Mod_Mod :: !Ref2Nm moduleNm_Mod_Mod :: !HsName moduleNr_Mod_Mod :: !Int stkDepth_Mod_Mod :: !Int imports_Mod_Mod :: !ImportL metas_Mod_Mod :: !MetaL binds_Mod_Mod :: !(CRArray Bind) mbbody_Mod_Mod :: !MbExp

Instances

Show Mod
Binary Mod
Serialize Mod
PP Mod
Typeable * Mod

data Exp Source

Constructors

Exp_SExp
Fields sexpr_Exp_SExp :: !SExp
Exp_Tup
Fields tag_Exp_Tup :: !Int args_Exp_Tup :: !(CRArray SExp)
Exp_Let
Fields firstOff_Exp_Let :: !Int ref2nm_Exp_Let :: !Ref2Nm binds_Exp_Let :: !(CRArray Bind) body_Exp_Let :: !Exp
Exp_App
Fields func_Exp_App :: !Exp args_Exp_App :: !(CRArray SExp)
Exp_Lam
Fields mbNm_Exp_Lam :: !(Maybe HsName) nrArgs_Exp_Lam :: !Int stkDepth_Exp_Lam :: !Int ref2nm_Exp_Lam :: !Ref2Nm body_Exp_Lam :: !Exp
Exp_Force
Fields expr_Exp_Force :: !Exp
Exp_Tail
Fields expr_Exp_Tail :: !Exp
Exp_Case
Fields expr_Exp_Case :: !SExp alts_Exp_Case :: !(CRArray Alt)
Exp_FFI
Fields prim_Exp_FFI :: !RunPrim args_Exp_FFI :: !(CRArray SExp)

Instances

Show Exp
Binary Exp
PP Exp

data SExp Source

Constructors

SExp_Var
Fields ref_SExp_Var :: !RRef
SExp_Int
Fields int_SExp_Int :: !Int
SExp_Char
Fields char_SExp_Char :: !Char
SExp_String
Fields str_SExp_String :: !String
SExp_Integer
Fields integer_SExp_Integer :: !Integer
SExp_Dbg
Fields msg_SExp_Dbg :: !String

Instances

Show SExp
Binary SExp
PP SExp

data Alt Source

Constructors

Alt_Alt
Fields ref2nm_Alt_Alt :: !Ref2Nm expr_Alt_Alt :: !Exp

Instances

Show Alt
Binary Alt
PP Alt

data Pat Source

Constructors

Pat_Con
Fields tag_Pat_Con :: !Int

Instances

Binary Pat

data DataCon Source

Constructors

DataCon_Con
Fields conNm_DataCon_Con :: !HsName tagNr_DataCon_Con :: !Int

Instances

Binary DataCon

data Import Source

Constructors

Import_Import
Fields nm_Import_Import :: !HsName

Instances

Binary Import

data Meta Source

Constructors

Meta_Data
Fields tyNm_Meta_Data :: !HsName dataCons_Meta_Data :: !DataConL

Instances

Binary Meta

data RRef Source

Identifier references for use during running CoreRun

Constructors

RRef_Glb	global reference to module and its entry, will become obsolete, to be replaced by `RRef_Mod` and `RRef_Glb`
Fields rrefMod :: !Int module rrefEntry :: !Int entry inside module
RRef_Mod	entry of current module reference
Fields rrefEntry :: !Int entry inside module
RRef_Exp	exported entry of module reference, only used internally to be later resolved to a `RRef_Imp`
Fields rrefModNm :: !HsName module name, to be looked up in a module specific import list for an index rrefEntry :: !Int entry inside module
RRef_Imp	imported entry of module reference
Fields rrefMod :: !Int module rrefEntry :: !Int entry inside module
RRef_Loc	local reference to on stack value, not interpreted during running, if used must be converted with `rrefToDif` before running; may become obsolete.
Fields rrefLev :: !Int level when used statically rrefEntry :: !Int entry inside module
RRef_LDf	local reference to on stack value, but measured relative to level of from where is referenced, used at runtime
Fields rrefLevDiff :: !Int offset/difference in levels when used at runtime rrefEntry :: !Int entry inside module
RRef_Tag	tag of memory/constructor node referred to by other ref
Fields rrefRef :: !RRef of what this is the tag
RRef_Fld	fld of memory/constructor node referred to by other ref
Fields rrefRef :: !RRef of what this is the tag rrefEntry :: !Int entry inside module
RRef_Dbg	debug variant, holding original name
Fields rrefNm :: !HsName

Instances

Eq RRef
Ord RRef
Show RRef
Binary RRef
PP RRef

Utilities

crarrayFromList :: [x] -> CRArray x Source

Wrapper (rename) around vector-list conversion

crarrayToList :: CRArray x -> [x] Source

Wrapper (rename) around vector-list conversion

Re-export

module UHC.Light.Compiler.CoreRun.API