Ivory.Opts.AssertFold

Fold over expressions that collect up assertions about the expressions.

Documentation

newtype FolderM a b

A monad that holds our transformed program.

Constructors

FolderM

Fields

unFolderM :: StateT (DList a) Id b

Instances

Monad (FolderM a)

Functor (FolderM a)

StateM (FolderM a) (DList a)

insert :: a -> FolderM a ()

inserts :: DList a -> FolderM a ()

insertList :: [a] -> FolderM a ()

resetState :: FolderM a ()

runFolderM :: FolderM a b -> (b, DList a)

type Stmts = DList Stmt

type FolderStmt a = FolderM Stmt a

type ExpFold = Type -> Expr -> [Expr]

insertAssert :: Expr -> FolderStmt ()

insertAsserts :: [Expr] -> FolderStmt ()

runEmptyState :: ExpFold -> [Stmt] -> [Stmt]

procFold :: ExpFold -> Proc -> Proc

stmtFold :: ExpFold -> Stmt -> FolderStmt ()

type Exprs = DList Expr

type FolderExpr a = FolderM Expr a

expFoldDefault :: ExpFold -> Type -> Expr -> [Expr]

Default expression folder that performs the recursion for an asserter.

expFoldDefault' :: ExpFold -> Type -> Expr -> FolderExpr ()

expFoldOps :: ExpFold -> Type -> (ExpOp, [Expr]) -> FolderExpr ()

(<++>) :: Monoid a => a -> a -> a

withEnv :: Expr -> FolderExpr ()

(==>) :: Expr -> Expr -> Expr

neg :: Expr -> Expr