| ||||
| ||||
| 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.7.2 |