Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
find_rose_sub_tree :: forall k a. Setoid k => Nonempty List k -> (Nonempty Rose > (k :*: a)) -> Maybe a Source #
Orphan instances
Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source # | |
Substructure ('Tail :: a -> Segment a) (Construction List) Source # | |
substructure :: (Tagged 'Tail <:.> Construction List) @>>> Substance 'Tail (Construction List) Source # sub :: Construction List @>>> Substance 'Tail (Construction List) Source # | |
Substructure ('Root :: a -> Segment a) (Construction List) Source # | |
substructure :: (Tagged 'Root <:.> Construction List) @>>> Substance 'Root (Construction List) Source # sub :: Construction List @>>> Substance 'Root (Construction List) Source # |