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.