Safe Haskell | None |
---|---|
Language | Haskell2010 |
Fold over expressions that collect up assertions about the expressions.
Synopsis
- procFold :: String -> ExpFold -> Proc -> Proc
- expFoldDefault :: ExpFold -> Type -> Expr -> FolderStmt ()
- insert :: a -> FolderM a ()
- type FolderStmt a = FolderM Stmt a
- freshVar :: FolderM a String