Data.DAG.Simple

Computing with binary relations

type Relation a

inverse

image

reachableSet

restrict

Cycles

dfsLoopBreakers

cyclic

toposort