Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Formula

Description

parse terms and formulae

Synopsis

Documentation

term :: TermParser f => [String] -> AParser st (TERM f) Source #

when-else terms

mixTerm :: TermParser f => [String] -> AParser st (TERM f) Source #

primFormula :: TermParser f => [String] -> AParser st (FORMULA f) Source #

genPrimFormula :: TermParser f => AParser st f -> [String] -> AParser st (FORMULA f) Source #

formula :: TermParser f => [String] -> AParser st (FORMULA f) Source #

varDecl :: [String] -> AParser st VAR_DECL Source #

varDecls :: [String] -> AParser st ([VAR_DECL], [Token]) Source #

opSort :: [String] -> GenParser Char st (Bool, Id, Range) Source #

opFunSort :: [String] -> [Id] -> [Token] -> GenParser Char st OP_TYPE Source #

opType :: [String] -> AParser st OP_TYPE Source #

predType :: [String] -> AParser st PRED_TYPE Source #

predUnitType :: GenParser Char st PRED_TYPE Source #

qualPredName :: [String] -> Token -> AParser st (TERM f) Source #