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 |
Covariant (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Extendable (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 # |
Extractable (Product a) Source # | |
|
Comonad (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Substructure ('Left :: Type -> Wye Type) (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Substructure ('Right :: Type -> Wye Type) (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
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 |
(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 Substructural ('Left :: Type -> Wye Type) (Product s) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Substructural ('Right :: Type -> Wye Type) (Product s) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |