| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.REST.RESTDot
Description
This module is responsible for rendering GraphViz graphs corresponding to an execution of the REST algorithm.
Synopsis
- data PrettyPrinter rule term ord = PrettyPrinter {
- printRule :: rule -> String
- printTerm :: term -> String
- printOrd :: ord -> String
- showRejects :: ShowRejectsOpt
- data ShowRejectsOpt
- writeDot :: (Hashable rule, Hashable term, Ord a, Hashable a) => String -> GraphType -> PrettyPrinter rule term a -> Set (Path rule term a) -> IO ()
Documentation
data PrettyPrinter rule term ord Source #
Controls how rules, terms, orderings, and rejected paths should be displayed
Constructors
| PrettyPrinter | |
Fields
| |
data ShowRejectsOpt Source #
Controls how rejected paths should be visualized
Constructors
| ShowRejectsWithRule | Display rejected paths, and the rule that generated them |
| ShowRejectsWithoutRule | Display rejected paths, but don't display the rule that generated them |
| HideRejects | Do not show rejected paths |
Instances
| Eq ShowRejectsOpt Source # | |
Defined in Language.REST.RESTDot Methods (==) :: ShowRejectsOpt -> ShowRejectsOpt -> Bool # (/=) :: ShowRejectsOpt -> ShowRejectsOpt -> Bool # | |