| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
GraphRewriting.Strategies.LeftmostOutermost
- class LeftmostOutermost n where
- getLmoPort :: LeftmostOutermost n => Node -> Pattern n Port
- moveControl :: (View [Port] n, View Control n, LeftmostOutermost n) => Rule n
- leftmostOutermost :: (View Control n, View [Port] n) => Rule n -> Rule n
Documentation
class LeftmostOutermost n where Source
Gives us the the left port for a given node
Instances
| LeftmostOutermost n => LeftmostOutermost (Wrapper n) Source |
getLmoPort :: LeftmostOutermost n => Node -> Pattern n Port Source
moveControl :: (View [Port] n, View Control n, LeftmostOutermost n) => Rule n Source