Hets - the Heterogeneous Tool Set
Copyright(c) Stef Joosten Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Adl.Parse

Description

 
Synopsis

Documentation

keywordstxt :: [String] Source #

lineComment :: CharParser st String Source #

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

skip :: CharParser st () Source #

pChar :: CharParser st Char Source #

pKeyS :: String -> CharParser st String Source #

pKey :: String -> CharParser st () Source #

pSymC :: String -> String -> CharParser st String Source #

pColon :: CharParser st String Source #

pMinus :: CharParser st String Source #

pSymS :: String -> CharParser st String Source #

pSym :: String -> CharParser st () Source #

pComma :: CharParser st () Source #

pEqual :: CharParser st () Source #

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

pParens :: CharParser st a -> CharParser st a Source #

pSqBrackets :: CharParser st a -> CharParser st a Source #

pConid :: CharParser st String Source #

pVarid :: Bool -> CharParser st String Source #

with true argument exclude CASL keywords

pString :: CharParser st String Source #

pADLid :: CharParser st Token Source #

pArchitecture :: CharParser st Context Source #

parse contexts but do not require CONTEXT blocks

pContext :: CharParser st Context Source #

pBind :: CharParser st String Source #

pContextElement :: Bool -> CharParser st [PatElem] Source #

parse a context element but do not require the PATTERN block

pPopulation :: CharParser st PatElem Source #

pPattern :: CharParser st [PatElem] Source #

pPatElem :: Bool -> CharParser st [PatElem] Source #

pDeclaration :: Bool -> CharParser st [PatElem] Source #

pRangedProp :: Prop -> CharParser st RangedProp Source #

pProps :: CharParser st [RangedProp] Source #

pPragma :: CharParser st [String] Source #

pByplug :: CharParser st Bool Source #

pConceptDef :: CharParser st [PatElem] Source #

pKeyDef :: CharParser st PatElem Source #

pLabelProps :: CharParser st Token Source #

pKeyAtt :: CharParser st KeyAtt Source #

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

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

pObjDef :: CharParser st PatElem Source #

pObj :: CharParser st Object Source #

pProp' :: CharParser st RangedProp Source #

pExplain :: CharParser st [PatElem] Source #

pLanguageID :: CharParser st String Source #

pRefID :: CharParser st String Source #

pExpl :: CharParser st String Source #

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

pRecord :: CharParser st Pair Source #

pRuleDef :: Bool -> CharParser st PatElem Source #

pGen :: CharParser st PatElem Source #

pTwo :: CharParser st RelType Source #

pConcept :: CharParser st Concept Source #

pMorphism :: Bool -> CharParser st Relation Source #

pRule :: Bool -> CharParser st Rule Source #

pImpl :: Bool -> CharParser st Rule Source #

pExpr :: Bool -> CharParser st Rule Source #

pFactorI :: Bool -> CharParser st Rule Source #

pFactor :: Bool -> CharParser st Rule Source #

pTermD :: Bool -> CharParser st Rule Source #

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

pTerm :: Bool -> CharParser st Rule Source #