Hets - the Heterogeneous Tool Set

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

CASL.ToSExpr

Description

translation of CASL to S-Expressions

Documentation

predToSSymbol :: Sign f e -> PRED_SYMB -> SExpr

predIdToSSymbol :: Sign f e -> Id -> PredType -> SExpr

opToSSymbol :: Sign f e -> OP_SYMB -> SExpr

opIdToSSymbol :: Sign f e -> Id -> OpType -> SExpr

sortToSSymbol :: Id -> SExpr

varToSSymbol :: Token -> SExpr

varDeclToSExpr :: (VAR, SORT) -> SExpr

sfail :: String -> Range -> a

sRec :: GetRange f => Sign a e -> (f -> SExpr) -> Record f SExpr SExpr

signToSExprs :: Sign a e -> [SExpr]

sortSignToSExprs :: Sign a e -> SExpr

predMapToSExprs :: Sign a e -> PredMap -> [SExpr]

opMapToSExprs :: Sign a e -> OpMap -> [SExpr]

morToSExprs :: Morphism f e m -> [SExpr]