Bivariant (Tagged :: Type -> Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Covariant (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Bindable (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Applicative (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Distributive (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Extendable (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Pointable (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Monad (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Traversable (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged Methods (->>) :: (Pointable u, Applicative u) => Tagged tag a -> (a -> u b) -> (u :. Tagged tag) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tagged tag a -> (u :. Tagged tag) := b Source # sequence :: (Pointable u, Applicative u) => ((Tagged tag :. u) := a) -> (u :. Tagged tag) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tagged tag) := a) -> (a -> u b) -> (u :. (v :. Tagged tag)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tagged tag)) := a) -> (a -> u b) -> (u :. (w :. (v :. Tagged tag))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tagged tag))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tagged tag)))) := b Source # |
Extractable (Tagged tag) Source # | |
|
Comonad (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Semigroup a => Semigroup (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Ringoid a => Ringoid (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Monoid a => Monoid (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Quasiring a => Quasiring (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Group a => Group (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Supremum a => Supremum (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Infimum a => Infimum (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Lattice a => Lattice (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Setoid a => Setoid (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Chain a => Chain (Tagged tag a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |