Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.SymbolParser

Description

Parsing symbols for translations and reductions

Synopsis

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

symbKind :: AParser st (SYMB_KIND, Token) Source #

parse a kind keyword