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