ddc-core-flow-0.4.3.1: Disciplined Disciple Compiler data flow compiler.
type TransducerMap n = n -> n -> Maybe (n, n) Source #
noFusionPreventingPath :: Ord n => [((n, n), Bool)] -> n -> n -> Bool Source #
typeComparable :: (Ord n, Eq t) => Graph n t -> TransducerMap n -> n -> n -> Bool Source #
Check if two nodes may be fused based on type.
If they have the same type, it's fine.
If they have a different type, we must look for any common type transducer parents.
Produced by Haddock version 2.17.2