hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.SymbolParser
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
may be needed for structured specs
Synopsis
symb :: GenParser Char st SYMB
opOrPredType :: GenParser Char st TYPE
symbMap :: GenParser Char st SYMB_OR_MAP
symbKind :: GenParser Char st (SYMB_KIND, Token)
symbItemsList :: GenParser Char st SYMB_ITEMS_LIST
symbItems :: GenParser Char st SYMB_ITEMS
symbs :: GenParser Char st ([SYMB], [Token])
symbMapItemsList :: GenParser Char st SYMB_MAP_ITEMS_LIST
symbMapItems :: GenParser Char st SYMB_MAP_ITEMS
symbMaps :: GenParser Char st ([SYMB_OR_MAP], [Token])
Produced by Haddock version 0.6