Copyright | (c) Till Mossakowski, Christian Maeder, Uni Bremen 2002-2005 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(Grothendieck) |
Safe Haskell | None |
Parser for CASL (heterogeneous) structured specifications Concerning the homogeneous syntax, this follows Sect II:3.1.3 of the CASL Reference Manual.
- annoParser2 :: AParser st (Annoted a) -> AParser st (Annoted a)
- groupSpec :: LogicGraph -> AParser st SPEC
- aSpec :: LogicGraph -> AParser st (Annoted SPEC)
- logicDescr :: LogicGraph -> AParser st LogicDescr
- parseMapping :: LogicGraph -> AParser st ([G_mapping], [Token])
- parseCorrespondences :: LogicGraph -> AParser st [CORRESPONDENCE]
- translationList :: LogicGraph -> (Annoted b -> RENAMING -> b) -> (Annoted b -> RESTRICTION -> b) -> (Annoted b -> APPROXIMATION -> b) -> (Annoted b -> MINIMIZATION -> b) -> Annoted b -> AParser st (Annoted b)
- hetIRI :: LogicGraph -> GenParser Char st IRI
Documentation
annoParser2 :: AParser st (Annoted a) -> AParser st (Annoted a)
parse annotations and then still call an annotation parser
groupSpec :: LogicGraph -> AParser st SPEC
aSpec :: LogicGraph -> AParser st (Annoted SPEC)
logicDescr :: LogicGraph -> AParser st LogicDescr
parseMapping :: LogicGraph -> AParser st ([G_mapping], [Token])
parseCorrespondences :: LogicGraph -> AParser st [CORRESPONDENCE]
translationList :: LogicGraph -> (Annoted b -> RENAMING -> b) -> (Annoted b -> RESTRICTION -> b) -> (Annoted b -> APPROXIMATION -> b) -> (Annoted b -> MINIMIZATION -> b) -> Annoted b -> AParser st (Annoted b)
hetIRI :: LogicGraph -> GenParser Char st IRI