| 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
Minimal complete definition
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 #