| Copyright | (c) Christian Maeder, Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.Formula
Description
parse terms and formulae
- term :: TermParser f => [String] -> AParser st (TERM f)
- mixTerm :: TermParser f => [String] -> AParser st (TERM f)
- primFormula :: TermParser f => [String] -> AParser st (FORMULA f)
- genPrimFormula :: TermParser f => AParser st f -> [String] -> AParser st (FORMULA f)
- formula :: TermParser f => [String] -> AParser st (FORMULA f)
- anColon :: AParser st Token
- varDecl :: [String] -> AParser st VAR_DECL
- varDecls :: [String] -> AParser st ([VAR_DECL], [Token])
- opSort :: [String] -> GenParser Char st (Bool, Id, Range)
- opFunSort :: [String] -> [Id] -> [Token] -> GenParser Char st OP_TYPE
- opType :: [String] -> AParser st OP_TYPE
- predType :: [String] -> AParser st PRED_TYPE
- predUnitType :: GenParser Char st PRED_TYPE
- qualPredName :: [String] -> Token -> AParser st (TERM f)
- implKey :: AParser st Token
- ifKey :: AParser st Token
Documentation
term :: TermParser f => [String] -> AParser st (TERM f)
when-else terms
mixTerm :: TermParser f => [String] -> AParser st (TERM f)
primFormula :: TermParser f => [String] -> AParser st (FORMULA f)
genPrimFormula :: TermParser f => AParser st f -> [String] -> AParser st (FORMULA f)
formula :: TermParser f => [String] -> AParser st (FORMULA f)
predUnitType :: GenParser Char st PRED_TYPE
qualPredName :: [String] -> Token -> AParser st (TERM f)