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