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 Source #

Constructors

SSymbol String 
SList [SExpr] 

Instances

Eq SExpr Source # 

Methods

(==) :: SExpr -> SExpr -> Bool

(/=) :: SExpr -> SExpr -> Bool

Ord SExpr Source # 

Methods

compare :: SExpr -> SExpr -> Ordering

(<) :: SExpr -> SExpr -> Bool

(<=) :: SExpr -> SExpr -> Bool

(>) :: SExpr -> SExpr -> Bool

(>=) :: SExpr -> SExpr -> Bool

max :: SExpr -> SExpr -> SExpr

min :: SExpr -> SExpr -> SExpr

Show SExpr Source # 

Methods

showsPrec :: Int -> SExpr -> ShowS

show :: SExpr -> String

showList :: [SExpr] -> ShowS

idToSSymbol :: Int -> Id -> SExpr Source #

transform an overloaded identifier

transToken :: Token -> String Source #

transString :: String -> String Source #