Ivory.Language.Proc

data Proc k

class ProcType sig

data ProcPtr sig

procPtr

data Def proc

defSymbol

proc

voidProc

data Body r

class WrapIvory m

body

data Definition

class IvoryProcDef proc impl

data Closure

initialClosure

genVar

getEnv

importProc

data ImportFrom r

importFrom

call

indirect

class IvoryCall proc eff impl

call_

indirect_

class IvoryCall_ proc eff impl

ret

retVoid