| Copyright | (c) Dominik Dietrich, DFKI Bremen 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | dominik.dietrich@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CSL.Symbol
Description
Documentation
newtype Symbol
Datatype for symbols
Instances
| Eq Symbol | |
| Data Symbol | |
| Ord Symbol | |
| Show Symbol | |
| ShATermConvertible Symbol | |
| GetRange Symbol | |
| Pretty Symbol | |
| Typeable * Symbol | |
| Sentences CSL CMD Sign Morphism Symbol | Instance of Sentences for reduce logic |
| Syntax CSL BASIC_SPEC Symbol SYMB_ITEMS SYMB_MAP_ITEMS | Syntax of CSL logic |
| StaticAnalysis CSL BASIC_SPEC CMD SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol | Static Analysis for reduce logic |
| Logic CSL () BASIC_SPEC CMD SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol [EXPRESSION] | Instance of Logic for reduce logc |
printSymbol :: Symbol -> Doc
getSymbolMap :: Morphism -> Map Symbol Symbol
Determines the symbol map of a morhpism
getSymbolName :: Symbol -> Id
Determines the name of a symbol
symbolToRaw :: Symbol -> Symbol
convert to raw symbol