Monad Identity | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Functor Identity | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
MonadFix Identity | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Applicative Identity | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Foldable Identity | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Traversable Identity | |
Instance detailsDefined in Data.Traversable |
Distributive Identity | |
Instance detailsDefined in Data.Distributive |
Representable Identity | |
Instance detailsDefined in Data.Functor.Rep |
ToJSON1 Identity | |
Instance detailsDefined in Data.Aeson.Types.ToJSON |
FromJSON1 Identity | |
Instance detailsDefined in Data.Aeson.Types.FromJSON |
Eq1 Identity | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Classes |
Ord1 Identity | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Classes |
Read1 Identity | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Classes |
Show1 Identity | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Classes |
MonadZip Identity | Since: base-4.8.0.0 |
Instance detailsDefined in Control.Monad.Zip |
Comonad Identity | |
Instance detailsDefined in Control.Comonad |
ComonadApply Identity | |
Instance detailsDefined in Control.Comonad |
NFData1 Identity | Since: deepseq-1.4.3.0 |
Instance detailsDefined in Control.DeepSeq |
Hashable1 Identity | |
Instance detailsDefined in Data.Hashable.Class |
Apply Identity | |
Instance detailsDefined in Data.Functor.Bind.Class |
Traversable1 Identity | |
Instance detailsDefined in Data.Semigroup.Traversable.Class |
Pointed Identity | |
Instance detailsDefined in Data.Pointed |
Copointed Identity | |
Instance detailsDefined in Data.Copointed |
Foldable1 Identity | |
Instance detailsDefined in Data.Semigroup.Foldable.Class |
Bind Identity | |
Instance detailsDefined in Data.Functor.Bind.Class |
Extend Identity | |
Instance detailsDefined in Data.Functor.Extend |
MonadBase Identity Identity | |
Instance detailsDefined in Control.Monad.Base |
Sieve ReifiedGetter Identity | |
Instance detailsDefined in Control.Lens.Reified |
Cosieve ReifiedGetter Identity | |
Instance detailsDefined in Control.Lens.Reified |
() :=> (Monad Identity) | |
Instance detailsDefined in Data.Constraint |
() :=> (Functor Identity) | |
Instance detailsDefined in Data.Constraint |
Bounded a => Bounded (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Enum a => Enum (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Eq a => Eq (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Floating a => Floating (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Fractional a => Fractional (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Integral a => Integral (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Data a => Data (Identity a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Data |
Num a => Num (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Ord a => Ord (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Read a => Read (Identity a) | This instance would be equivalent to the derived instances of the
Identity newtype if the runIdentity field were removed Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Real a => Real (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
RealFloat a => RealFloat (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
RealFrac a => RealFrac (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Show a => Show (Identity a) | This instance would be equivalent to the derived instances of the
Identity newtype if the runIdentity field were removed Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Ix a => Ix (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
IsString a => IsString (Identity a) | |
Instance detailsDefined in Data.String |
Traversable (LogicT Identity) | |
Instance detailsDefined in Control.Monad.Logic |
Generic (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Semigroup a => Semigroup (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Monoid a => Monoid (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Hashable a => Hashable (Identity a) | |
Instance detailsDefined in Data.Hashable.Class |
ToJSON a => ToJSON (Identity a) | |
Instance detailsDefined in Data.Aeson.Types.ToJSON |
ToJSONKey a => ToJSONKey (Identity a) | |
Instance detailsDefined in Data.Aeson.Types.ToJSON |
FromJSON a => FromJSON (Identity a) | |
Instance detailsDefined in Data.Aeson.Types.FromJSON |
FromJSONKey a => FromJSONKey (Identity a) | |
Instance detailsDefined in Data.Aeson.Types.FromJSON |
Storable a => Storable (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
Bits a => Bits (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
FiniteBits a => FiniteBits (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
NFData a => NFData (Identity a) | Since: deepseq-1.4.0.0 |
Instance detailsDefined in Control.DeepSeq |
Ixed (Identity a) | |
Instance detailsDefined in Control.Lens.At |
Wrapped (Identity a) | |
Instance detailsDefined in Control.Lens.Wrapped |
Upper a => Upper (Identity a) | |
Instance detailsDefined in Data.Semilattice.Upper |
Lower a => Lower (Identity a) | |
Instance detailsDefined in Data.Semilattice.Lower |
Serialise a => Serialise (Identity a) | Since: serialise-0.2.0.0 |
Instance detailsDefined in Codec.Serialise.Class |
Generic1 Identity | |
Instance detailsDefined in Data.Functor.Identity |
t ~ Identity b => Rewrapped (Identity a) t | |
Instance detailsDefined in Control.Lens.Wrapped |
(Bounded a) :=> (Bounded (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Enum a) :=> (Enum (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Eq a) :=> (Eq (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Floating a) :=> (Floating (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Fractional a) :=> (Fractional (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Integral a) :=> (Integral (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Num a) :=> (Num (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Ord a) :=> (Ord (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Read a) :=> (Read (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Real a) :=> (Real (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(RealFloat a) :=> (RealFloat (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(RealFrac a) :=> (RealFrac (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Show a) :=> (Show (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Semigroup a) :=> (Semigroup (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Monoid a) :=> (Monoid (Identity a)) | |
Instance detailsDefined in Data.Constraint |
(Bits a) :=> (Bits (Identity a)) | |
Instance detailsDefined in Data.Constraint |
Each (Identity a) (Identity b) a b | each :: Traversal (Identity a) (Identity b) a b
|
Instance detailsDefined in Control.Lens.Each |
Field1 (Identity a) (Identity b) a b | |
Instance detailsDefined in Control.Lens.Tuple |
type Rep Identity | |
Instance detailsDefined in Data.Functor.Rep |
type Rep (Identity a) | |
Instance detailsDefined in Data.Functor.Identity |
type Index (Identity a) | |
Instance detailsDefined in Control.Lens.At |
type IxValue (Identity a) | |
Instance detailsDefined in Control.Lens.At |
type Unwrapped (Identity a) | |
Instance detailsDefined in Control.Lens.Wrapped |
type Rep1 Identity | |
Instance detailsDefined in Data.Functor.Identity |