Hets - the Heterogeneous Tool Set

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

Common.SExpr

Description

S-Expressions for the translation from HasCASL, CASL and VSE to OMDoc

Synopsis

Documentation

data SExpr

Constructors

SSymbol String 
SList [SExpr] 

Instances

prettySExpr :: SExpr -> Doc

idToSSymbol :: Int -> Id -> SExpr

transform an overloaded identifier

transToken :: Token -> String

transString :: String -> String