Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- 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 #
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.