Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pandora.Paradigm.Structure.Some.Rose
Contents
Documentation
find_rose_sub_tree :: forall k a. Setoid k => Nonempty List k -> (Nonempty Rose >>> (k :*: a)) -> Maybe a Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pandora.Paradigm.Structure.Some.Rose
Contents
find_rose_sub_tree :: forall k a. Setoid k => Nonempty List k -> (Nonempty Rose >>> (k :*: a)) -> Maybe a Source #