rest-rewrite-0.3.0: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.RESTDot

Documentation

data ShowRejectsOpt Source #

Constructors

ShowRejectsWithRule 
ShowRejectsWithoutRule 
HideRejects 

Instances

Instances details
Eq ShowRejectsOpt Source # 
Instance details

Defined in Language.REST.RESTDot

Methods

(==) :: ShowRejectsOpt -> ShowRejectsOpt -> Bool #

(/=) :: ShowRejectsOpt -> ShowRejectsOpt -> Bool #

data PrettyPrinter rule term ord Source #

Constructors

PrettyPrinter 

Fields

rejNodeID :: (Hashable rule, Hashable term, Hashable a) => GraphType -> Path rule term a -> term -> String Source #

rejectedNodes :: forall rule term a. (Hashable rule, Hashable term, Hashable a) => GraphType -> PrettyPrinter rule term a -> Path rule term a -> Set Node Source #

getNodeID :: (Hashable rule, Hashable term, Hashable a) => GraphType -> Path rule term a -> String Source #

endNode :: (Hashable rule, Hashable term, Hashable a) => GraphType -> PrettyPrinter rule term a -> Path rule term a -> Node Source #

toEdges :: forall rule term a. (Hashable rule, Hashable term, Hashable a) => GraphType -> PrettyPrinter rule term a -> Path rule term a -> Set Edge Source #

subPaths :: Path rule term a -> [Path rule term a] Source #

toNodes :: (Hashable rule, Hashable term, Hashable a) => GraphType -> PrettyPrinter rule term a -> Path rule term a -> Set Node Source #

toGraph :: (Hashable rule, Hashable term, Hashable a) => GraphType -> PrettyPrinter rule term a -> Set (Path rule term a) -> DiGraph Source #

writeDot :: (Hashable rule, Hashable term, Ord a, Hashable a) => String -> GraphType -> PrettyPrinter rule term a -> Set (Path rule term a) -> IO () Source #