Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CASL.Fold

Description

folding functions for CASL terms and formulas

Documentation

data Record f a b Source #

Constructors

Record 

Fields

mapRecord :: (f -> g) -> Record f (FORMULA g) (TERM g) Source #

constRecord :: (f -> a) -> ([a] -> a) -> a -> Record f a a Source #

foldFormula :: Record f a b -> FORMULA f -> a Source #

foldTerm :: Record f a b -> TERM f -> b Source #

foldOnlyTerm :: (FORMULA f -> a) -> Record f a b -> TERM f -> b Source #