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

VSE.ToSExpr

Description

translation of VSE to S-Expressions

Documentation

addUniformRestr :: Sign f Procs -> [Named Sentence] -> (Sign f Procs, [Named Sentence]) Source #

namedSenToSExpr :: Sign f Procs -> Named Sentence -> SExpr Source #

senToSExpr :: Sign f Procs -> Sentence -> SExpr Source #

sentenceToSExpr :: Sign f Procs -> Sentence -> SExpr Source #

dlFormulaToSExpr :: Sign f Procs -> Dlformula -> SExpr Source #

vseFormsToSExpr :: Sign f Procs -> VSEforms -> SExpr Source #

vDeclToSExpr :: Sign f Procs -> VarDecl -> SExpr Source #

procIdToSSymbol :: Sign f Procs -> Id -> SExpr Source #

progToSExpr :: Sign f Procs -> Program -> SExpr Source #

defprocToSExpr :: Sign f Procs -> Defproc -> SExpr Source #

paramToSExpr :: Procparam -> SExpr Source #

procsToSExprs :: (Id -> Bool) -> Sign f Procs -> [SExpr] Source #

vseSignToSExpr :: Sign f Procs -> SExpr Source #

qualVseSignToSExpr :: SIMPLE_ID -> LibName -> Sign f Procs -> SExpr Source #