Stack List Source # | |
Instance details |
Measurable 'Length List Source # | |
Instance details |
Measurable 'Length (Construction Maybe) Source # | |
Instance details |
Applicative (Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:))) Source # | |
Instance details |
Applicative (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Extendable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Traversable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details Methods (->>) :: (Pointable u (->), Applicative u) => Tap ((List <:.:> List) := (:*:)) a -> (a -> u b) -> (u :. Tap ((List <:.:> List) := (:*:))) := b Source # traverse :: (Pointable u (->), Applicative u) => (a -> u b) -> Tap ((List <:.:> List) := (:*:)) a -> (u :. Tap ((List <:.:> List) := (:*:))) := b Source # sequence :: (Pointable u (->), Applicative u) => ((Tap ((List <:.:> List) := (:*:)) :. u) := a) -> (u :. Tap ((List <:.:> List) := (:*:))) := a Source # (->>>) :: (Pointable u (->), Applicative u, Traversable v) => ((v :. Tap ((List <:.:> List) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((List <:.:> List) := (:*:)))) := b Source # (->>>>) :: (Pointable u (->), Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((List <:.:> List) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := b Source # (->>>>>) :: (Pointable u (->), Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap ((List <:.:> List) := (:*:)))))) := b Source # |
Semigroup (List a) Source # | |
Instance details |
Monoid (List a) Source # | |
Instance details |
Setoid a => Setoid (List a) Source # | |
Instance details |
Nullable List Source # | |
Instance details |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) List Source # | |
Instance details |
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Instance details |
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Instance details |
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source # | |
Instance details |
Morphable ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance details |
Morphable ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Morphable ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source # | |
Instance details |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance details |
Morphable ('Into List) (Construction Maybe) Source # | |
Instance details |
Morphable ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance details |
Morphable ('Into List) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance details |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance details |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance details |
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) Source # | |
Instance details |
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) Source # | |
Instance details |
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source # | |
Instance details |
Semigroup (Construction Maybe a) Source # | |
Instance details |
Morphable ('Pop :: a -> Morph a) List Source # | |
Instance details |
Morphable ('Push :: a -> Morph a) List Source # | |
Instance details |
Substructure ('Tail :: a -> Segment a) List Source # | |
Instance details |
Substructure ('Root :: a -> Segment a) List Source # | |
Instance details |
Morphable ('Push :: a -> Morph a) (Construction Maybe) Source # | |
Instance details |
Substructure ('Root :: a -> Segment a) (Construction Maybe) Source # | |
Instance details |
Substructure ('Tail :: a -> Segment a) (Construction Maybe) Source # | |
Instance details |