| Copyright | (c) Christian Maeder Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.SymbolParser
Description
Parsing symbols for translations and reductions
Synopsis
- symbItems :: [String] -> AParser st SYMB_ITEMS
- symbItem :: [String] -> AParser st SYMB_ITEMS
- symbMapItems :: [String] -> AParser st SYMB_MAP_ITEMS
- opOrPredType :: [String] -> AParser st TYPE
- symbKind :: AParser st (SYMB_KIND, Token)
Documentation
symbItems :: [String] -> AParser st SYMB_ITEMS Source #
Parse a possible kinded list of comma separated CASL symbols. The argument is a list of keywords to avoid as identifiers.
symbItem :: [String] -> AParser st SYMB_ITEMS Source #
Parse a possible kinded CASL symbol.
symbMapItems :: [String] -> AParser st SYMB_MAP_ITEMS Source #
parse a possible kinded list of CASL symbol mappings
opOrPredType :: [String] -> AParser st TYPE Source #
parsing a type for an operation or a predicate