Ivory.Language.Monad

Ivory Monad

data Ivory eff a

retProxy

Running Functions

runIvory

primRunIvory

collect

Effects

noBreak

noReturn

noAlloc

Code Blocks

data CodeBlock

emits

emit

Name Generation

freshVar

result

assign

Source Locations

data SrcLoc

mkLocation

setLocation

withLocation