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'