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

parse a (typed) symbol

symbMap :: AParser st SymbOrMap

parse a mapped symbol

symbKind :: AParser st (SymbKind, Token)

parse kind of symbols

symbItems :: AParser st SymbItems

parse symbol items

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

symbMapItems :: AParser st SymbMapItems

parse symbol mappings