| 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 |
Adl.Parse
Description
Synopsis
- keywordstxt :: [String]
- lineComment :: CharParser st String
- 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
- pString :: CharParser st String
- pADLid :: CharParser st Token
- pArchitecture :: CharParser st Context
- pContext :: CharParser st Context
- pBind :: CharParser st String
- pContextElement :: Bool -> CharParser st [PatElem]
- 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
Documentation
keywordstxt :: [String] Source #
lineComment :: CharParser st String Source #
a line comment starts with --. In haskell this may be part of an operator.
pGenParens :: String -> String -> CharParser st a -> CharParser st a Source #
pSqBrackets :: CharParser st a -> CharParser st a Source #
pArchitecture :: CharParser st Context Source #
parse contexts but do not require CONTEXT blocks
pContextElement :: Bool -> CharParser st [PatElem] Source #
parse a context element but do not require the PATTERN block
pPopulation :: CharParser st PatElem Source #
pDeclaration :: Bool -> CharParser st [PatElem] Source #
pRangedProp :: Prop -> CharParser st RangedProp Source #
pProps :: CharParser st [RangedProp] Source #
pConceptDef :: CharParser st [PatElem] Source #
pLabelProps :: CharParser st Token Source #
pProp' :: CharParser st RangedProp Source #
pLanguageID :: CharParser st String Source #
pSignalOrAlways :: CharParser st RuleHeader Source #