Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.SymbItem

Description

HasCASL parsable symbol items for structured specs

Synopsis

parsers for symbols

symb :: AParser st Symb Source #

parse a (typed) symbol

symbMap :: AParser st SymbOrMap Source #

parse a mapped symbol

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

parse kind of symbols

symbItems :: AParser st SymbItems Source #

parse symbol items

symbs :: AParser st ([Symb], [Token]) Source #

symbMapItems :: AParser st SymbMapItems Source #

parse symbol mappings

symbMaps :: AParser st ([SymbOrMap], [Token]) Source #