 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
HasCASL.Symbol | Portability | portable | Stability | experimental | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
HasCASL symbols for structured specs
|
|
Synopsis |
|
|
|
|
symbol data types |
|
data SymbItems |
symbols | Constructors | | Instances | |
|
|
data SymbMapItems |
mapped symbols | Constructors | | Instances | |
|
|
data SymbKind |
kind of symbols | Constructors | Implicit | | SK_type | | SK_op | | SK_class | |
| Instances | |
|
|
data Symb |
type annotated symbols | Constructors | | Instances | |
|
|
data SymbType |
type for symbols | Constructors | | Instances | |
|
|
data SymbOrMap |
mapped symbol | Constructors | | Instances | |
|
|
parsers for symbols |
|
symb :: AParser Symb |
parse a (typed) symbol |
|
symbMap :: AParser SymbOrMap |
parse a mapped symbol |
|
symbKind :: AParser (SymbKind, Token) |
parse kind of symbols |
|
symbItems :: AParser SymbItems |
parse symbol items |
|
symbs :: AParser ([Symb], [Token]) |
|
symbMapItems :: AParser SymbMapItems |
parse symbol mappings |
|
symbMaps :: AParser ([SymbOrMap], [Token]) |
|
printSK :: SymbKind -> Doc |
print symbol kind |
|
Produced by Haddock version 0.6 |