Ivory.Language.Monad

Ivory Monad

data Ivory eff a

Instances

Monad (Ivory eff)

Functor (Ivory eff)

Applicative (Ivory eff)

FreshName (Ivory eff)

IvoryType r => IvoryCall_ (:-> * ([] *) r) eff (Ivory eff ())

IvoryVar r => IvoryCall (:-> * ([] *) r) eff (Ivory eff r)

retProxy :: Ivory eff a -> Proxy r

Get a Proxy to the return type of an Ivory block.

XXX do not export

Running Functions

runIvory :: Ivory (ProcEffects s r) a -> (a, CodeBlock)

Run an Ivory block computation that could require any effect.

XXX do not export

primRunIvory :: Ivory (ProcEffects s r) a -> (a, CodeBlock)

collect :: Ivory eff' a -> Ivory eff (a, CodeBlock)

Collect the CodeBlock for an Ivory computation.

XXX do not export

Effects

noBreak :: Ivory (ClearBreak eff) a -> Ivory eff a

noReturn :: Ivory (ClearReturn eff) a -> Ivory eff a

noAlloc :: innerEff ~ ClearAlloc outerEff => Ivory innerEff a -> Ivory outerEff a

Code Blocks

data CodeBlock

Constructors

CodeBlock

Fields

blockStmts :: Block

blockRequires :: [Require]

blockEnsures :: [Ensure]

Instances

Show CodeBlock

Monoid CodeBlock

emits :: CodeBlock -> Ivory eff ()

Add some statements to the collected block.

XXX do not export

emit :: Stmt -> Ivory eff ()

Emit a single statement.

XXX do not export

Name Generation

freshVar :: String -> Ivory eff Var

Generate a fresh variable name.

XXX do not export

result :: forall eff a. IvoryExpr a => a -> Ivory eff Var

Name the result of an expression.

XXX do not export

assign :: forall eff a. IvoryExpr a => a -> Ivory eff a

Sub-expression naming.