Bivariant Product Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Covariant (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Extendable (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Traversable (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product Methods (->>) :: (Pointable u, Applicative u) => Product a a0 -> (a0 -> u b) -> (u :. Product a) := b Source # traverse :: (Pointable u, Applicative u) => (a0 -> u b) -> Product a a0 -> (u :. Product a) := b Source # sequence :: (Pointable u, Applicative u) => ((Product a :. u) := a0) -> (u :. Product a) := a0 Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Product a) := a0) -> (a0 -> u b) -> (u :. (v :. Product a)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Product a)) := a0) -> (a0 -> u b) -> (u :. (w :. (v :. Product a))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Product a))) := a0) -> (a0 -> u b) -> (u :. (j :. (w :. (v :. Product a)))) := b Source # |
Extractable (Product a) Source # | |
|
Comonad (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Adjoint (Product a) ((->) a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Semigroup a, Semigroup b) => Semigroup (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Ringoid a, Ringoid b) => Ringoid (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Monoid a, Monoid b) => Monoid (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Quasiring a, Quasiring b) => Quasiring (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Group a, Group b) => Group (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Supremum a, Supremum b) => Supremum (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Infimum a, Infimum b) => Infimum (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Lattice a, Lattice b) => Lattice (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
(Setoid a, Setoid b) => Setoid (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Covariant u => Covariant (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Covariant u => Covariant (TU Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
(Semigroup e, Pointable u, Bindable u) => Bindable (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Semigroup e, Applicative u) => Applicative (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Extendable u => Extendable (TU Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
(Pointable u, Monoid e) => Pointable (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u) Source # | |
|
Covariant u => Covariant (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Covariant u => Covariant (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Bindable u => Bindable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Bindable u => Applicative (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Extendable u => Extendable (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Pointable u => Pointable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Monad u => Monad (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Extractable u => Extractable (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source # | |
|