Covariant Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Wye |
Covariant Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Pointable Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Traversable Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Wye Methods (->>) :: (Pointable u, Applicative u) => Wye a -> (a -> u b) -> (u :. Wye) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Wye a -> (u :. Wye) := b Source # sequence :: (Pointable u, Applicative u) => ((Wye :. u) := a) -> (u :. Wye) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Wye) := a) -> (a -> u b) -> (u :. (v :. Wye)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Wye)) := a) -> (a -> u b) -> (u :. (w :. (v :. Wye))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Wye))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Wye)))) := b Source # |
Traversable Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary Methods (->>) :: (Pointable u, Applicative u) => Binary a -> (a -> u b) -> (u :. Binary) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Binary a -> (u :. Binary) := b Source # sequence :: (Pointable u, Applicative u) => ((Binary :. u) := a) -> (u :. Binary) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Binary) := a) -> (a -> u b) -> (u :. (v :. Binary)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Binary)) := a) -> (a -> u b) -> (u :. (w :. (v :. Binary))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Binary))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Binary)))) := b Source # |
Substructure (Left :: Type -> Wye Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Substructure (Right :: Type -> Wye Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Substructure (Left :: Type -> Wye Type) (Twister Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Substructure (Right :: Type -> Wye Type) (Twister Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Nonempty Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Output (Left :: Type -> Wye Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Output (Right :: Type -> Wye Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Output (Left :: Type -> Wye Type) (Twister Wye) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Output (Right :: Type -> Wye Type) (Twister Wye) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |