Bivariant Product Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Monotonic s a => Monotonic s (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Accessible b a => Accessible b (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Accessible a (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Accessible s (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Covariant (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Extendable (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Extendable (Tap ((:*:) <:.:> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Extendable (Tap ((:*:) <:.:> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stack |
Extractable (Product a) Source # | |
|
Comonad (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Traversable (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product Methods (->>) :: (Pointable u, Applicative u) => Product s a -> (a -> u b) -> (u :. Product s) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Product s a -> (u :. Product s) := b Source # sequence :: (Pointable u, Applicative u) => ((Product s :. u) := a) -> (u :. Product s) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Product s) := a) -> (a -> u b) -> (u :. (v :. Product s)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Product s)) := a) -> (a -> u b) -> (u :. (w :. (v :. Product s))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Product s))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Product s)))) := b Source # |
Focusable ('Left :: Type -> Wye Type) (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Focusable ('Right :: Type -> Wye Type) (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
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 |
Morphable ('Into Wye) ((:*:) <:.:> Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Adjoint (Product s) ((->) s :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor |
(Semigroup s, Semigroup a) => Semigroup (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Ringoid s, Ringoid a) => Ringoid (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Monoid s, Monoid a) => Monoid (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Quasiring s, Quasiring a) => Quasiring (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Group s, Group a) => Group (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Supremum s, Supremum a) => Supremum (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Infimum s, Infimum a) => Infimum (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Lattice s, Lattice a) => Lattice (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Setoid s, Setoid a) => Setoid (s :*: a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Substructure ('Right :: a -> Wye a) (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
(Semigroup e, Pointable u, Bindable u) => Bindable ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Semigroup e, Applicative u) => Applicative ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Extendable u => Extendable ((:*:) e <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
(Pointable u, Monoid e) => Pointable ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
type Focusing ('Left :: Type -> Wye Type) (Product s) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Focusing ('Right :: Type -> Wye Type) (Product s) a 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 Morphing ('Into Wye) ((:*:) <:.:> Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Substructural ('Right :: a -> Wye a) (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |