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