Data.Graph.Inductive.Query.Monad

Additional Graph Utilities

mapFst

mapSnd

(><)

orP

Graph Transformer Monad

data GT m g a

apply

apply'

applyWith

applyWith'

runGT

condMGT'

recMGT'

condMGT

recMGT

Graph Computations Based on Graph Monads

Monadic Graph Accessing Functions

getNode

getContext

getNodes'

getNodes

sucGT

sucM

Derived Graph Recursion Operators

graphRec

graphRec'

graphUFold

Examples: Graph Algorithms as Instances of Recursion Operators

Instances of graphRec

graphNodesM0

graphNodesM

graphNodes

graphFilterM

graphFilter

Example: Monadic DFS Algorithm(s)

dfsGT

dfsM

dfsM'

dffM

graphDff

graphDff'