Copyright	(c) Karl Luc DFKI Bremen 2010 Eugen Kuksa and Uni Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	eugenk@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	None

CommonLogic.Parse_CLIF

Description

Parser of common logic interchange format

Synopsis

cltext :: PrefixMap -> CharParser st TEXT_META
namedtext :: CharParser st (TEXT, [PrefixMapping])
text :: CharParser st (TEXT, [PrefixMapping])
phrase :: CharParser st ([PHRASE], [PrefixMapping])
prefix :: CharParser st [PrefixMapping]
comment_txt :: CharParser st (TEXT, [PrefixMapping])
pModule :: CharParser st (MODULE, [PrefixMapping])
pModExcl :: CharParser st ([NAME], (TEXT, [PrefixMapping]))
importation :: CharParser st IMPORTATION
sentence :: CharParser st SENTENCE
quantsent1 :: Bool -> Token -> CharParser st SENTENCE
quantsent2 :: Bool -> Token -> Maybe NAME -> CharParser st SENTENCE
quantsent3 :: Bool -> Maybe NAME -> [NAME_OR_SEQMARK] -> [(NAME_OR_SEQMARK, TERM)] -> SENTENCE -> Range -> SENTENCE
boundlist :: CharParser st [Either (NAME_OR_SEQMARK, TERM) NAME_OR_SEQMARK]
atom :: CharParser st ATOM
term :: CharParser st TERM
term_fun_cmt :: CharParser st TERM
termseq :: CharParser st TERM_SEQ
rolesetTerm :: CharParser st TERM
rolesetNT :: CharParser st (NAME, TERM)
rolesetSentence :: TERM -> [(NAME, TERM)] -> SENTENCE
rolesetFreeName :: TERM -> [(NAME, TERM)] -> NAME
rolesetAddToTerm :: NAME -> TERM -> SENTENCE
rolesetMixTerm :: NAME -> (NAME, TERM) -> SENTENCE
symbIdentifier :: CharParser st Token
scanClSymbol :: CharParser st String
intNameOrSeqMark :: CharParser st NAME_OR_SEQMARK
symbItems :: GenParser Char st SYMB_ITEMS
symbs :: GenParser Char st ([NAME_OR_SEQMARK], [Token])
symbMapItems :: GenParser Char st SYMB_MAP_ITEMS
symbMaps :: GenParser Char st ([SYMB_OR_MAP], [Token])
symbMap :: GenParser Char st SYMB_OR_MAP
symbMapS :: GenParser Char st SYMB_OR_MAP
symbMapN :: GenParser Char st SYMB_OR_MAP
basicSpec :: PrefixMap -> AParser st BASIC_SPEC
parseBasicItems :: PrefixMap -> AParser st BASIC_ITEMS
parseSentences :: PrefixMap -> AParser st BASIC_ITEMS
parseClText :: PrefixMap -> AParser st BASIC_ITEMS
textToAn :: [TEXT_META] -> [Annoted TEXT_META]
parseAxItems :: PrefixMap -> AParser st BASIC_SPEC
parseAx :: PrefixMap -> AParser st BASIC_ITEMS
aFormula :: PrefixMap -> AParser st (Annoted TEXT_META)

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 #

quantsent3 :: Bool -> Maybe NAME -> [NAME_OR_SEQMARK] -> [(NAME_OR_SEQMARK, TERM)] -> SENTENCE -> Range -> 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 #

rolesetSentence :: TERM -> [(NAME, TERM)] -> SENTENCE Source #

rolesetFreeName :: TERM -> [(NAME, TERM)] -> NAME Source #

rolesetAddToTerm :: NAME -> TERM -> SENTENCE Source #

rolesetMixTerm :: NAME -> (NAME, TERM) -> SENTENCE Source #

symbIdentifier :: CharParser st Token Source #

scanClSymbol :: CharParser st String Source #

intNameOrSeqMark :: CharParser st NAME_OR_SEQMARK 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

parseBasicItems :: PrefixMap -> AParser st BASIC_ITEMS Source #

parseSentences :: PrefixMap -> AParser st BASIC_ITEMS Source #

parseClText :: PrefixMap -> AParser st BASIC_ITEMS Source #

textToAn :: [TEXT_META] -> [Annoted TEXT_META] Source #

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