Copyright	(c) E. Schulz D. Dietrich C. Maeder DFKI 2008
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

Common.SExpr

Description

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

Synopsis

Documentation

Constructors

SSymbol String
SList [SExpr]

Instances details

Eq SExpr Source #
Instance details Defined in Common.SExpr Methods (==) :: SExpr -> SExpr -> Bool (/=) :: SExpr -> SExpr -> Bool
Ord SExpr Source #
Instance details Defined in Common.SExpr 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 #
Instance details Defined in Common.SExpr Methods showsPrec :: Int -> SExpr -> ShowS show :: SExpr -> String showList :: [SExpr] -> ShowS

transform an overloaded identifier

transString :: String -> String Source #