| ||||
| ||||
Synopsis | ||||
| ||||
Documentation | ||||
zipPreds :: LastNode l => LGraph m l -> BlockEnv BlockSet | ||||
Compute the predecessors of each reachable block | ||||
givesUniquePredecessorTo :: LastNode l => LGraph m l -> BlockId -> Bool | ||||
Tell if a graph gives a block a unique predecessor. For efficiency, this function is designed to be partially applied. | ||||
Produced by Haddock version 2.3.0 |