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

Contents

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

symbMapItems :: AParser st SymbMapItems Source #

parse symbol mappings