License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Identity re-export, with a compat wrapper for older version of base that do not have Data.Functor.Identity
- newtype Identity a :: * -> * = Identity {
- runIdentity :: a
Documentation
newtype Identity a :: * -> * #
Identity functor and monad. (a non-strict monad)
Since: 4.8.0.0
Identity | |
|
Monad Identity | Since: 4.8.0.0 |
Functor Identity | Since: 4.8.0.0 |
MonadFix Identity | Since: 4.8.0.0 |
Applicative Identity | Since: 4.8.0.0 |
Foldable Identity | Since: 4.8.0.0 |
Traversable Identity | |
Bounded a => Bounded (Identity a) | |
Enum a => Enum (Identity a) | |
Eq a => Eq (Identity a) | |
Floating a => Floating (Identity a) | |
Fractional a => Fractional (Identity a) | |
Integral a => Integral (Identity a) | |
Data a => Data (Identity a) | Since: 4.9.0.0 |
Num a => Num (Identity a) | |
Ord a => Ord (Identity a) | |
Read a => Read (Identity a) | This instance would be equivalent to the derived instances of the
Since: 4.8.0.0 |
Real a => Real (Identity a) | |
RealFloat a => RealFloat (Identity a) | |
RealFrac a => RealFrac (Identity a) | |
Show a => Show (Identity a) | This instance would be equivalent to the derived instances of the
Since: 4.8.0.0 |
Ix a => Ix (Identity a) | |
IsString a => IsString (Identity a) | |
Generic (Identity a) | |
Semigroup a => Semigroup (Identity a) | Since: 4.9.0.0 |
Monoid a => Monoid (Identity a) | |
Storable a => Storable (Identity a) | |
Bits a => Bits (Identity a) | |
FiniteBits a => FiniteBits (Identity a) | |
Generic1 * Identity | |
type Rep (Identity a) | |
type Rep1 * Identity | |