| Safe Haskell | None |
|---|
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 whereSource
Gives us the the left port for a given node
Instances
| LeftmostOutermost n => LeftmostOutermost (Wrapper n) |
getLmoPort :: LeftmostOutermost n => Node -> Pattern n PortSource
moveControl :: (View [Port] n, View Control n, LeftmostOutermost n) => Rule nSource