Hets - the Heterogeneous Tool Set

Copyright(c) Ewaryst.Schulz DFKI 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEwaryst.Schulz@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CSL.Fold

Description

folding functions for CSL terms and commands

Synopsis

Documentation

data Record a b Source #

Constructors

Record 

Fields

emptyRecord :: String -> Record a b Source #

Produces an error with given message on all entries. Use this if you overwrite only the EXPRESSION part and you do not use the CMD part anyway , e.g., if you use the record in foldTerm

idRecord :: Record CMD EXPRESSION Source #

The identity transformation

passRecord :: Record CMD EXPRESSION Source #

Passes the transformation through the CMD part and is the identity on the EXPRESSION part

passAllRecord :: Record CMD EXPRESSION Source #

Passes the transformation through both, the CMD and the EXPRESSION part

listCMDRecord :: Record [a] EXPRESSION Source #

Passes the transformation through the CMD part by concatenating the processed list from left to right and identity on expression part

constRecord :: a -> b -> Record a b Source #

Returns the first constant on the CMD part and the second on the EXPRESSION part

foldCMD :: Record a b -> CMD -> a Source #