Ivory.Language.Monad

Ivory Monad

data Ivory eff a

Instances

Monad (Ivory eff)

Methods

(>>=) :: Ivory eff a -> (a -> Ivory eff b) -> Ivory eff b

(>>) :: Ivory eff a -> Ivory eff b -> Ivory eff b

return :: a -> Ivory eff a

fail :: String -> Ivory eff a

Functor (Ivory eff)

Methods

fmap :: (a -> b) -> Ivory eff a -> Ivory eff b

(<$) :: a -> Ivory eff b -> Ivory eff a

Applicative (Ivory eff)

Methods

pure :: a -> Ivory eff a

(<*>) :: Ivory eff (a -> b) -> Ivory eff a -> Ivory eff b

(*>) :: Ivory eff a -> Ivory eff b -> Ivory eff b

(<*) :: Ivory eff a -> Ivory eff b -> Ivory eff a

FreshName (Ivory eff)

Methods

freshName :: String -> Ivory eff Var

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

Methods

callAux_ :: Name -> Proxy (Proc *) ((* :-> [*]) r) -> [Typed Expr] -> Ivory eff ()

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

Methods

callAux :: Name -> Proxy (Proc *) ((* :-> [*]) r) -> [Typed Expr] -> 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

Methods

showsPrec :: Int -> CodeBlock -> ShowS

show :: CodeBlock -> String

showList :: [CodeBlock] -> ShowS

Monoid CodeBlock

Methods

mempty :: CodeBlock

mappend :: CodeBlock -> CodeBlock -> CodeBlock

mconcat :: [CodeBlock] -> 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.

Source Locations

data SrcLoc

A range in the program source.

Instances

Eq SrcLoc

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

(/=) :: SrcLoc -> SrcLoc -> Bool

Ord SrcLoc

Methods

compare :: SrcLoc -> SrcLoc -> Ordering

(<) :: SrcLoc -> SrcLoc -> Bool

(<=) :: SrcLoc -> SrcLoc -> Bool

(>) :: SrcLoc -> SrcLoc -> Bool

(>=) :: SrcLoc -> SrcLoc -> Bool

max :: SrcLoc -> SrcLoc -> SrcLoc

min :: SrcLoc -> SrcLoc -> SrcLoc

Read SrcLoc

Methods

readsPrec :: Int -> ReadS SrcLoc

readList :: ReadS [SrcLoc]

readPrec :: ReadPrec SrcLoc

readListPrec :: ReadPrec [SrcLoc]

Show SrcLoc

Methods

showsPrec :: Int -> SrcLoc -> ShowS

show :: SrcLoc -> String

showList :: [SrcLoc] -> ShowS

Monoid SrcLoc

Methods

mempty :: SrcLoc

mappend :: SrcLoc -> SrcLoc -> SrcLoc

mconcat :: [SrcLoc] -> SrcLoc

Pretty SrcLoc

Methods

pretty :: SrcLoc -> Doc

HasLocation SrcLoc

Methods

getLoc :: SrcLoc -> SrcLoc

stripLoc :: SrcLoc -> SrcLoc

mkLocation :: FilePath -> Int -> Int -> Int -> Int -> SrcLoc

setLocation :: SrcLoc -> Ivory eff ()

withLocation :: SrcLoc -> Ivory eff a -> Ivory eff a