Covariant (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
Extendable (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
Extractable (Product a) Source # | |
|
Comonad (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
Traversable (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.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 # |
Adjoint (Product a) ((->) a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Semigroup a, Semigroup b) => Semigroup (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Ringoid a, Ringoid b) => Ringoid (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Monoid a, Monoid b) => Monoid (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Group a, Group b) => Group (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Supremum a, Supremum b) => Supremum (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Infimum a, Infimum b) => Infimum (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Lattice a, Lattice b) => Lattice (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
(Setoid a, Setoid b) => Setoid (Product a b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
Covariant u => Covariant (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Stateful |
Bindable u => Bindable (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Stateful |
Bindable u => Applicative (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Stateful |
Pointable u => Pointable (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Stateful |
Monad u => Monad (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Stateful |