| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Core.Flow.Transform.Rates.Clusters.Base
- type TransducerMap n = n -> n -> Maybe (n, n)
- noFusionPreventingPath :: Ord n => [((n, n), Bool)] -> n -> n -> Bool
- typeComparable :: (Ord n, Eq t) => Graph n t -> TransducerMap n -> n -> n -> Bool
Documentation
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.