hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.ParseItem
Portability portable
Stability provisional
Maintainer hets@tzi.de
Contents
adapted item list parser (using itemAux)
parsing type items
parsing datatypes
parse class items
parse op items
parse pred items as op items
other items
Description
parser for HasCASL basic Items
Synopsis
hasCaslItemList :: String -> AParser b -> ([Annoted b] -> [Pos] -> a) -> AParser a
hasCaslItemAux :: AParser a -> AParser ([a], [Token], [[Annotation]])
commaTypeDecl :: TypePattern -> AParser TypeItem
kindedTypeDecl :: ([TypePattern], [Token]) -> AParser TypeItem
isoDecl :: TypePattern -> AParser TypeItem
vars :: AParser Vars
subTypeDefn :: (TypePattern, Token) -> AParser TypeItem
subTypeDecl :: ([TypePattern], [Token]) -> AParser TypeItem
sortItem :: AParser TypeItem
sortItems :: AParser SigItems
typeItem :: AParser TypeItem
typeItemList :: [Token] -> Instance -> AParser SigItems
typeItems :: AParser SigItems
pseudoType :: AParser TypeScheme
pseudoTypeDef :: TypePattern -> Maybe Kind -> [Token] -> AParser TypeItem
component :: AParser [Component]
concatFst :: [[a]] -> [Pos] -> ([a], [Pos])
tupleComponent :: AParser ([Component], [Pos])
altComponent :: AParser ([Component], [Pos])
compType :: [UninstOpId] -> [Token] -> AParser [Component]
alternative :: AParser Alternative
dataDef :: TypePattern -> Kind -> [Token] -> AParser TypeItem
dataItem :: AParser DatatypeDecl
dataItems :: AParser BasicItem
classDecl :: AParser ClassDecl
classItem :: AParser ClassItem
classItemList :: [Token] -> Instance -> AParser BasicItem
classItems :: AParser BasicItem
typeVarDeclSeq :: AParser ([TypeArg], [Pos])
opId :: AParser OpId
opAttr :: AParser OpAttr
opDecl :: [OpId] -> [Token] -> AParser OpItem
opAttrs :: [OpId] -> [Token] -> Token -> TypeScheme -> AParser OpItem
opArg :: AParser ([VarDecl], [Pos])
opArgs :: AParser ([[VarDecl]], [Pos])
opDeclOrDefn :: OpId -> AParser OpItem
typeOrTotalType :: AParser (Token, TypeOrTypeScheme)
opTerm :: OpId -> [[VarDecl]] -> [Pos] -> Token -> TypeOrTypeScheme -> AParser OpItem
opItem :: AParser OpItem
opItems :: AParser SigItems
predDecl :: [OpId] -> [Token] -> AParser OpItem
predDefn :: OpId -> AParser OpItem
predItem :: AParser OpItem
predItems :: AParser SigItems
sigItems :: AParser SigItems
generatedItems :: AParser BasicItem
genVarItems :: AParser ([GenVarDecl], [Token])
freeDatatype :: AParser BasicItem
progItems :: AParser BasicItem
axiomItems :: AParser BasicItem
forallItem :: AParser BasicItem
genVarItem :: AParser BasicItem
dotFormulae :: AParser BasicItem
basicItems :: AParser BasicItem
internalItems :: AParser BasicItem
basicSpec :: AParser BasicSpec
adapted item list parser (using itemAux)
hasCaslItemList :: String -> AParser b -> ([Annoted b] -> [Pos] -> a) -> AParser a
hasCaslItemAux :: AParser a -> AParser ([a], [Token], [[Annotation]])
parsing type items
commaTypeDecl :: TypePattern -> AParser TypeItem
kindedTypeDecl :: ([TypePattern], [Token]) -> AParser TypeItem
isoDecl :: TypePattern -> AParser TypeItem
vars :: AParser Vars
subTypeDefn :: (TypePattern, Token) -> AParser TypeItem
subTypeDecl :: ([TypePattern], [Token]) -> AParser TypeItem
sortItem :: AParser TypeItem
sortItems :: AParser SigItems
typeItem :: AParser TypeItem
typeItemList :: [Token] -> Instance -> AParser SigItems
typeItems :: AParser SigItems
pseudoType :: AParser TypeScheme
pseudoTypeDef :: TypePattern -> Maybe Kind -> [Token] -> AParser TypeItem
parsing datatypes
component :: AParser [Component]
concatFst :: [[a]] -> [Pos] -> ([a], [Pos])
tupleComponent :: AParser ([Component], [Pos])
altComponent :: AParser ([Component], [Pos])
compType :: [UninstOpId] -> [Token] -> AParser [Component]
alternative :: AParser Alternative
dataDef :: TypePattern -> Kind -> [Token] -> AParser TypeItem
dataItem :: AParser DatatypeDecl
dataItems :: AParser BasicItem
parse class items
classDecl :: AParser ClassDecl
classItem :: AParser ClassItem
classItemList :: [Token] -> Instance -> AParser BasicItem
classItems :: AParser BasicItem
parse op items
typeVarDeclSeq :: AParser ([TypeArg], [Pos])
opId :: AParser OpId
opAttr :: AParser OpAttr
opDecl :: [OpId] -> [Token] -> AParser OpItem
opAttrs :: [OpId] -> [Token] -> Token -> TypeScheme -> AParser OpItem
opArg :: AParser ([VarDecl], [Pos])
opArgs :: AParser ([[VarDecl]], [Pos])
opDeclOrDefn :: OpId -> AParser OpItem
typeOrTotalType :: AParser (Token, TypeOrTypeScheme)
a Total or a Partial function definition type
opTerm :: OpId -> [[VarDecl]] -> [Pos] -> Token -> TypeOrTypeScheme -> AParser OpItem
opItem :: AParser OpItem
opItems :: AParser SigItems
parse pred items as op items
predDecl :: [OpId] -> [Token] -> AParser OpItem
predDefn :: OpId -> AParser OpItem
predItem :: AParser OpItem
predItems :: AParser SigItems
other items
sigItems :: AParser SigItems
generatedItems :: AParser BasicItem
genVarItems :: AParser ([GenVarDecl], [Token])
freeDatatype :: AParser BasicItem
progItems :: AParser BasicItem
axiomItems :: AParser BasicItem
forallItem :: AParser BasicItem
genVarItem :: AParser BasicItem
dotFormulae :: AParser BasicItem
basicItems :: AParser BasicItem
internalItems :: AParser BasicItem
basicSpec :: AParser BasicSpec
Produced by Haddock version 0.6