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])

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

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

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

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

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

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

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

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

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

paramToSExpr :: Procparam -> SExpr

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

vseSignToSExpr :: Sign f Procs -> SExpr

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