Copyright	(c) Stef Joosten, Christian Maeder DFKI GmbH 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

Adl.Parse

Description

Synopsis

Documentation

keywordstxt :: [String]

lineComment :: CharParser st String

a line comment starts with --. In haskell this may be part of an operator.

skip :: CharParser st ()

pChar :: CharParser st Char

pKeyS :: String -> CharParser st String

pKey :: String -> CharParser st ()

pSymC :: String -> String -> CharParser st String

pColon :: CharParser st String

pMinus :: CharParser st String

pSymS :: String -> CharParser st String

pSym :: String -> CharParser st ()

pComma :: CharParser st ()

pEqual :: CharParser st ()

pGenParens :: String -> String -> CharParser st a -> CharParser st a

pParens :: CharParser st a -> CharParser st a

pSqBrackets :: CharParser st a -> CharParser st a

pConid :: CharParser st String

pVarid :: Bool -> CharParser st String

with true argument exclude CASL keywords

pString :: CharParser st String

pADLid :: CharParser st Token

pArchitecture :: CharParser st Context

parse contexts but do not require CONTEXT blocks

pContext :: CharParser st Context

pBind :: CharParser st String

pContextElement :: Bool -> CharParser st [PatElem]

parse a context element but do not require the PATTERN block

pPopulation :: CharParser st PatElem

pPattern :: CharParser st [PatElem]

pPatElem :: Bool -> CharParser st [PatElem]

pDeclaration :: Bool -> CharParser st [PatElem]

pRangedProp :: Prop -> CharParser st RangedProp

pProps :: CharParser st [RangedProp]

pPragma :: CharParser st [String]

pByplug :: CharParser st Bool

pConceptDef :: CharParser st [PatElem]

pKeyDef :: CharParser st PatElem

pLabelProps :: CharParser st Token

pKeyAtt :: CharParser st KeyAtt

choiceP :: (a -> CharParser st ()) -> [a] -> CharParser st a

choiceS :: Show a => (String -> CharParser st ()) -> [a] -> CharParser st a

pObjDef :: CharParser st PatElem

pObj :: CharParser st Object

pProp' :: CharParser st RangedProp

pExplain :: CharParser st [PatElem]

pLanguageID :: CharParser st String

pRefID :: CharParser st String

pExpl :: CharParser st String

pContent :: Bool -> Relation -> CharParser st PatElem

pRecord :: CharParser st Pair

pRuleDef :: Bool -> CharParser st PatElem

pSignalOrAlways :: CharParser st RuleHeader

pGen :: CharParser st PatElem

pTwo :: CharParser st RelType

pConcept :: CharParser st Concept

pMorphism :: Bool -> CharParser st Relation

pRule :: Bool -> CharParser st Rule

pImpl :: Bool -> CharParser st Rule

pExpr :: Bool -> CharParser st Rule

pFactorI :: Bool -> CharParser st Rule

pFactor :: Bool -> CharParser st Rule

pTermD :: Bool -> CharParser st Rule

pPrec :: MulOp -> CharParser st Rule -> CharParser st Rule

pTerm :: Bool -> CharParser st Rule