Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

VSE.Fold

Description

folding functions for VSE progams

Synopsis

Documentation

data FoldRec a Source #

fold record

Constructors

FoldRec 

Fields

foldProg :: FoldRec a -> Program -> a Source #

fold function

mapProg :: (TERM () -> TERM ()) -> (FORMULA () -> FORMULA ()) -> FoldRec Program Source #

constProg :: (TERM () -> a) -> (FORMULA () -> a) -> ([a] -> a) -> a -> FoldRec a Source #

collect i.e. variables to be universally bound on the top level

progToSetRec :: Ord a => (TERM () -> Set a) -> (FORMULA () -> Set a) -> FoldRec (Set a) Source #