| Copyright | (c) Christian Maeder DFKI Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
VSE.Fold
Description
folding functions for VSE progams
Synopsis
- data FoldRec a = FoldRec {
- foldAbort :: Program -> a
- foldSkip :: Program -> a
- foldAssign :: Program -> VAR -> TERM () -> a
- foldCall :: Program -> FORMULA () -> a
- foldReturn :: Program -> TERM () -> a
- foldBlock :: Program -> [VAR_DECL] -> a -> a
- foldSeq :: Program -> a -> a -> a
- foldIf :: Program -> FORMULA () -> a -> a -> a
- foldWhile :: Program -> FORMULA () -> a -> a
- foldProg :: FoldRec a -> Program -> a
- mapRec :: FoldRec Program
- mapProg :: (TERM () -> TERM ()) -> (FORMULA () -> FORMULA ()) -> FoldRec Program
- constProg :: (TERM () -> a) -> (FORMULA () -> a) -> ([a] -> a) -> a -> FoldRec a
- progToSetRec :: Ord a => (TERM () -> Set a) -> (FORMULA () -> Set a) -> FoldRec (Set a)
Documentation
fold record
Constructors
| FoldRec | |
Fields
| |