GraphRewriting.Pattern

type Pattern n

runPatternT

runPattern

evalPattern

execPattern

branch

branchNodes

probe

matches

match

anyOf

require

requireFailure

requireM

liftReader

node

nodeAt

edge

nodeWith

edgeOf

neighbour

relative

adverse

visit

amnesia

history

previous

nextFresh

nextIs

restrictOverlap

linear

data PatternT n m a

type Pattern n

type Match

(<|>)