 | 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 |