Lowerable Tap Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Covariant t => Covariant (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
(Extractable t, Alternative t, Bindable t) => Bindable (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Applicative t => Applicative (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Extendable t => Extendable (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Extendable (Tap ((:*:) <:.:> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Extendable (Tap ((:*:) <:.:> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
Covariant t => Extractable (Tap t) Source # | |
|
Avoidable t => Pointable (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Traversable t => Traversable (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap Methods (->>) :: (Pointable u, Applicative u) => Tap t a -> (a -> u b) -> (u :. Tap t) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tap t a -> (u :. Tap t) := b Source # sequence :: (Pointable u, Applicative u) => ((Tap t :. u) := a) -> (u :. Tap t) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tap t) := a) -> (a -> u b) -> (u :. (v :. Tap t)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap t)) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap t))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap t))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap t)))) := b Source # |
Hoistable Tap Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
Covariant t => Substructure ('Tail :: a -> Segment a) (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
type Substructural ('Tail :: a -> Segment a) (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |