hets -- a heterogenous Specification (CASL) tool setContentsIndex
Syntax.Parse_AS_Structured
Portability non-portable(Grothendieck)
Stability provisional
Maintainer hets@tzi.de
Description
Parsing the Structured part of hetrogenous specifications.
Synopsis
emptyAnno :: a -> Annoted a
parseLogic :: AParser Logic_code
notFollowedWith :: GenParser tok st a -> GenParser tok st b -> GenParser tok st a
parseItemsMap :: AnyLogic -> AParser (G_symb_map_items_list, [Token])
parseMapping :: (AnyLogic, LogicGraph) -> AParser ([G_mapping], [Token])
parseItemsList :: (AnyLogic, LogicGraph) -> AParser (G_symb_items_list, [Token])
parseHiding :: (AnyLogic, LogicGraph) -> AParser ([G_hiding], [Token])
parseRevealing :: (AnyLogic, LogicGraph) -> AParser (G_symb_map_items_list, [Token])
spec :: (AnyLogic, LogicGraph) -> AParser (Annoted SPEC)
specA :: (AnyLogic, LogicGraph) -> AParser (Annoted SPEC)
specB :: (AnyLogic, LogicGraph) -> AParser SPEC
specC :: (AnyLogic, LogicGraph) -> AParser (Annoted SPEC)
specD :: (AnyLogic, LogicGraph) -> AParser SPEC
specE :: (AnyLogic, LogicGraph) -> AParser SPEC
basicSpec :: (AnyLogic, LogicGraph) -> AParser SPEC
logicSpec :: (AnyLogic, LogicGraph) -> AParser SPEC
lookupLogicName :: Logic_name -> LogicGraph -> AnyLogic
fitArgs :: (AnyLogic, LogicGraph) -> AParser ([Annoted FIT_ARG], [Pos])
fitArg :: (AnyLogic, LogicGraph) -> AParser (Annoted FIT_ARG, [Pos])
fittingArg :: (AnyLogic, LogicGraph) -> AParser FIT_ARG
params :: (AnyLogic, LogicGraph) -> AParser ([Annoted SPEC], [Pos])
param :: (AnyLogic, LogicGraph) -> AParser (Annoted SPEC, [Pos])
Produced by Haddock version 0.6