GraphRewriting.Rule

data Replace n a

type Rule n

apply

apply'

rewrite

erase

rewire

replace

byNode

byNewNode

byEdge

byWire

byConnector

(>>>)

exhaustive

everywhere

benchmark