 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
HasCASL.ParseItem | Portability | portable | Stability | provisional | Maintainer | hets@tzi.de |
|
|
|
|
|
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 |