| Copyright | (c) Christian Maeder, Uni Bremen 2002-2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.Parse_AS_Basic
Description
Parser for CASL basic specifications (SIG-ITEMS, BASIC-ITEMS, BASIC-SPEC) Follows Sect. II:3.1 of the CASL Reference Manual.
- sortItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f)
- sigItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f)
- predItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f)
- opItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f)
- typeItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f)
- datatypeToFreetype :: (AParsable b, AParsable s, TermParser f) => SIG_ITEMS s f -> Range -> BASIC_ITEMS b s f
- axiomToLocalVarAxioms :: (AParsable b, AParsable s, TermParser f) => BASIC_ITEMS b s f -> [Annotation] -> [VAR_DECL] -> Range -> BASIC_ITEMS b s f
- basicItems :: (AParsable b, AParsable s, TermParser f) => [String] -> AParser st (BASIC_ITEMS b s f)
- varItems :: [String] -> AParser st ([VAR_DECL], [Token])
- dotFormulae :: (AParsable b, AParsable s, TermParser f) => Bool -> [String] -> AParser st (BASIC_ITEMS b s f)
- aFormula :: TermParser f => [String] -> AParser st (Annoted (FORMULA f))
- basicSpec :: (TermParser f, AParsable s, AParsable b) => [String] -> PrefixMap -> AParser st (BASIC_SPEC b s f)
signature items
helpers
datatypeToFreetype :: (AParsable b, AParsable s, TermParser f) => SIG_ITEMS s f -> Range -> BASIC_ITEMS b s f
axiomToLocalVarAxioms :: (AParsable b, AParsable s, TermParser f) => BASIC_ITEMS b s f -> [Annotation] -> [VAR_DECL] -> Range -> BASIC_ITEMS b s f
basic items
basicItems :: (AParsable b, AParsable s, TermParser f) => [String] -> AParser st (BASIC_ITEMS b s f)
dotFormulae :: (AParsable b, AParsable s, TermParser f) => Bool -> [String] -> AParser st (BASIC_ITEMS b s f)
basic spec
basicSpec :: (TermParser f, AParsable s, AParsable b) => [String] -> PrefixMap -> AParser st (BASIC_SPEC b s f)