Hets - the Heterogeneous Tool Set
Copyright(c) Karl Luc DFKI Bremen 2010 Eugen Kuksa and Uni Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CommonLogic.Parse_CLIF

Description

Parser of common logic interchange format

Synopsis

Documentation

cltext :: PrefixMap -> CharParser st TEXT_META Source #

parser for getText

namedtext :: CharParser st (TEXT, [PrefixMapping]) Source #

text :: CharParser st (TEXT, [PrefixMapping]) Source #

phrase :: CharParser st ([PHRASE], [PrefixMapping]) Source #

prefix :: CharParser st [PrefixMapping] Source #

comment_txt :: CharParser st (TEXT, [PrefixMapping]) Source #

pModule :: CharParser st (MODULE, [PrefixMapping]) Source #

parser for module

pModExcl :: CharParser st ([NAME], (TEXT, [PrefixMapping])) Source #

parser for

importation :: CharParser st IMPORTATION Source #

sentence :: CharParser st SENTENCE Source #

parser for sentences

quantsent1 :: Bool -> Token -> CharParser st SENTENCE Source #

quantsent2 :: Bool -> Token -> Maybe NAME -> CharParser st SENTENCE Source #

boundlist :: CharParser st [Either (NAME_OR_SEQMARK, TERM) NAME_OR_SEQMARK] Source #

atom :: CharParser st ATOM Source #

term :: CharParser st TERM Source #

term_fun_cmt :: CharParser st TERM Source #

termseq :: CharParser st TERM_SEQ Source #

rolesetTerm :: CharParser st TERM Source #

rolesetNT :: CharParser st (NAME, TERM) Source #

symbIdentifier :: CharParser st Token Source #

scanClSymbol :: CharParser st String Source #

symbItems :: GenParser Char st SYMB_ITEMS Source #

Parse a list of comma separated symbols.

symbs :: GenParser Char st ([NAME_OR_SEQMARK], [Token]) Source #

parse a comma separated list of symbols

symbMapItems :: GenParser Char st SYMB_MAP_ITEMS Source #

parse a list of symbol mappings

symbMaps :: GenParser Char st ([SYMB_OR_MAP], [Token]) Source #

parse a comma separated list of symbol mappings

symbMap :: GenParser Char st SYMB_OR_MAP Source #

parsing one symbol or a mapping of one to a second symbol

symbMapS :: GenParser Char st SYMB_OR_MAP Source #

symbMapN :: GenParser Char st SYMB_OR_MAP Source #

basicSpec :: PrefixMap -> AParser st BASIC_SPEC Source #

Toplevel parser for basic specs

parseAxItems :: PrefixMap -> AParser st BASIC_SPEC Source #

parser for Axiom_items

parseAx :: PrefixMap -> AParser st BASIC_ITEMS Source #

Toplevel parser for formulae

aFormula :: PrefixMap -> AParser st (Annoted TEXT_META) Source #

Toplevel parser for formulae