Copyright	(c) Andy Gill 2001 (c) Oregon Graduate Institute of Science and Technology 2001
License	BSD-style (see the file LICENSE)
Maintainer	ross@soi.city.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Data.Functor.Identity

Description

The identity functor and monad.

This trivial type constructor serves two purposes:

It can be used with functions parameterized by functor or monad classes.
It can be used as a base monad to which a series of monad transformers may be applied to construct a composite monad. Most monad transformer modules include the special case of applying the transformer toIdentity. For example,State s is an abbreviation forStateT sIdentity.

Since: 4.8.0.0

Synopsis

newtypeIdentity a =Identity {
- runIdentity :: a
}

Documentation

newtypeIdentity aSource #

Identity functor and monad. (a non-strict monad)

Since: 4.8.0.0

Constructors

Identity
Fields runIdentity :: a

Instances

Monad IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods (>>=) ::Identity a -> (a ->Identity b) ->Identity bSource # (>>) ::Identity a ->Identity b ->Identity bSource # return :: a ->Identity aSource # fail ::String ->Identity aSource #
Functor IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods fmap :: (a -> b) ->Identity a ->Identity bSource # (<$) :: a ->Identity b ->Identity aSource #
MonadFix IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods mfix :: (a ->Identity a) ->Identity aSource #
Applicative IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods pure :: a ->Identity aSource # (<>) ::Identity (a -> b) ->Identity a ->Identity bSource # liftA2 :: (a -> b -> c) ->Identity a ->Identity b ->Identity cSource # (>) ::Identity a ->Identity b ->Identity bSource # (<*) ::Identity a ->Identity b ->Identity aSource #
Foldable IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods fold ::Monoid m =>Identity m -> mSource # foldMap ::Monoid m => (a -> m) ->Identity a -> mSource # foldr :: (a -> b -> b) -> b ->Identity a -> bSource # foldr' :: (a -> b -> b) -> b ->Identity a -> bSource # foldl :: (b -> a -> b) -> b ->Identity a -> bSource # foldl' :: (b -> a -> b) -> b ->Identity a -> bSource # foldr1 :: (a -> a -> a) ->Identity a -> aSource # foldl1 :: (a -> a -> a) ->Identity a -> aSource # toList ::Identity a -> [a]Source # null ::Identity a ->Bool Source # length ::Identity a ->Int Source # elem ::Eq a => a ->Identity a ->Bool Source # maximum ::Ord a =>Identity a -> aSource # minimum ::Ord a =>Identity a -> aSource # sum ::Num a =>Identity a -> aSource # product ::Num a =>Identity a -> aSource #
Traversable IdentitySource #	Since: 4.9.0.0
Instance details Defined inData.Traversable Methods traverse ::Applicative f => (a -> f b) ->Identity a -> f (Identity b)Source # sequenceA ::Applicative f =>Identity (f a) -> f (Identity a)Source # mapM ::Monad m => (a -> m b) ->Identity a -> m (Identity b)Source # sequence ::Monad m =>Identity (m a) -> m (Identity a)Source #
MonadZip IdentitySource #	Since: 4.8.0.0
Instance details Defined inControl.Monad.Zip Methods mzip ::Identity a ->Identity b ->Identity (a, b)Source # mzipWith :: (a -> b -> c) ->Identity a ->Identity b ->Identity cSource # munzip ::Identity (a, b) -> (Identity a,Identity b)Source #
Show1 IdentitySource #	Since: 4.9.0.0
Instance details Defined inData.Functor.Classes Methods liftShowsPrec :: (Int -> a ->ShowS) -> ([a] ->ShowS) ->Int ->Identity a ->ShowS Source # liftShowList :: (Int -> a ->ShowS) -> ([a] ->ShowS) -> [Identity a] ->ShowS Source #
Read1 IdentitySource #	Since: 4.9.0.0
Instance details Defined inData.Functor.Classes Methods liftReadsPrec :: (Int ->ReadS a) ->ReadS [a] ->Int ->ReadS (Identity a)Source # liftReadList :: (Int ->ReadS a) ->ReadS [a] ->ReadS [Identity a]Source # liftReadPrec ::ReadPrec a ->ReadPrec [a] ->ReadPrec (Identity a)Source # liftReadListPrec ::ReadPrec a ->ReadPrec [a] ->ReadPrec [Identity a]Source #
Ord1 IdentitySource #	Since: 4.9.0.0
Instance details Defined inData.Functor.Classes Methods liftCompare :: (a -> b ->Ordering) ->Identity a ->Identity b ->Ordering Source #
Eq1 IdentitySource #	Since: 4.9.0.0
Instance details Defined inData.Functor.Classes Methods liftEq :: (a -> b ->Bool) ->Identity a ->Identity b ->Bool Source #
Bounded a =>Bounded (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods minBound ::Identity aSource # maxBound ::Identity aSource #
Enum a =>Enum (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods succ ::Identity a ->Identity aSource # pred ::Identity a ->Identity aSource # toEnum ::Int ->Identity aSource # fromEnum ::Identity a ->Int Source # enumFrom ::Identity a -> [Identity a]Source # enumFromThen ::Identity a ->Identity a -> [Identity a]Source # enumFromTo ::Identity a ->Identity a -> [Identity a]Source # enumFromThenTo ::Identity a ->Identity a ->Identity a -> [Identity a]Source #
Eq a =>Eq (Identity a)Source #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods (==) ::Identity a ->Identity a ->Bool # (/=) ::Identity a ->Identity a ->Bool #
Floating a =>Floating (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods pi ::Identity aSource # exp ::Identity a ->Identity aSource # log ::Identity a ->Identity aSource # sqrt ::Identity a ->Identity aSource # (**) ::Identity a ->Identity a ->Identity aSource # logBase ::Identity a ->Identity a ->Identity aSource # sin ::Identity a ->Identity aSource # cos ::Identity a ->Identity aSource # tan ::Identity a ->Identity aSource # asin ::Identity a ->Identity aSource # acos ::Identity a ->Identity aSource # atan ::Identity a ->Identity aSource # sinh ::Identity a ->Identity aSource # cosh ::Identity a ->Identity aSource # tanh ::Identity a ->Identity aSource # asinh ::Identity a ->Identity aSource # acosh ::Identity a ->Identity aSource # atanh ::Identity a ->Identity aSource # log1p ::Identity a ->Identity aSource # expm1 ::Identity a ->Identity aSource # log1pexp ::Identity a ->Identity aSource # log1mexp ::Identity a ->Identity aSource #
Fractional a =>Fractional (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods (/) ::Identity a ->Identity a ->Identity aSource # recip ::Identity a ->Identity aSource # fromRational ::Rational ->Identity aSource #
Integral a =>Integral (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods quot ::Identity a ->Identity a ->Identity aSource # rem ::Identity a ->Identity a ->Identity aSource # div ::Identity a ->Identity a ->Identity aSource # mod ::Identity a ->Identity a ->Identity aSource # quotRem ::Identity a ->Identity a -> (Identity a,Identity a)Source # divMod ::Identity a ->Identity a -> (Identity a,Identity a)Source # toInteger ::Identity a ->Integer Source #
Data a =>Data (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Data Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->Identity a -> c (Identity a)Source # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> c (Identity a)Source # toConstr ::Identity a ->Constr Source # dataTypeOf ::Identity a ->DataType Source # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (c (Identity a))Source # dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (c (Identity a))Source # gmapT :: (forall b.Data b => b -> b) ->Identity a ->Identity aSource # gmapQl :: (r -> r' -> r) -> r -> (forall d.Data d => d -> r') ->Identity a -> rSource # gmapQr :: (r' -> r -> r) -> r -> (forall d.Data d => d -> r') ->Identity a -> rSource # gmapQ :: (forall d.Data d => d -> u) ->Identity a -> [u]Source # gmapQi ::Int -> (forall d.Data d => d -> u) ->Identity a -> uSource # gmapM ::Monad m => (forall d.Data d => d -> m d) ->Identity a -> m (Identity a)Source # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->Identity a -> m (Identity a)Source # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->Identity a -> m (Identity a)Source #
Num a =>Num (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods (+) ::Identity a ->Identity a ->Identity aSource # (-) ::Identity a ->Identity a ->Identity aSource # (*) ::Identity a ->Identity a ->Identity aSource # negate ::Identity a ->Identity aSource # abs ::Identity a ->Identity aSource # signum ::Identity a ->Identity aSource # fromInteger ::Integer ->Identity aSource #
Ord a =>Ord (Identity a)Source #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods compare ::Identity a ->Identity a ->Ordering # (<) ::Identity a ->Identity a ->Bool # (<=) ::Identity a ->Identity a ->Bool # (>) ::Identity a ->Identity a ->Bool # (>=) ::Identity a ->Identity a ->Bool # max ::Identity a ->Identity a ->Identity a# min ::Identity a ->Identity a ->Identity a#
Read a =>Read (Identity a)Source #	This instance would be equivalent to the derived instances of the`Identity` newtype if the`runIdentity` field were removed Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods readsPrec ::Int ->ReadS (Identity a)Source # readList ::ReadS [Identity a]Source # readPrec ::ReadPrec (Identity a)Source # readListPrec ::ReadPrec [Identity a]Source #
Real a =>Real (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods toRational ::Identity a ->Rational Source #
RealFloat a =>RealFloat (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods floatRadix ::Identity a ->Integer Source # floatDigits ::Identity a ->Int Source # floatRange ::Identity a -> (Int,Int)Source # decodeFloat ::Identity a -> (Integer,Int)Source # encodeFloat ::Integer ->Int ->Identity aSource # exponent ::Identity a ->Int Source # significand ::Identity a ->Identity aSource # scaleFloat ::Int ->Identity a ->Identity aSource # isNaN ::Identity a ->Bool Source # isInfinite ::Identity a ->Bool Source # isDenormalized ::Identity a ->Bool Source # isNegativeZero ::Identity a ->Bool Source # isIEEE ::Identity a ->Bool Source # atan2 ::Identity a ->Identity a ->Identity aSource #
RealFrac a =>RealFrac (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods properFraction ::Integral b =>Identity a -> (b,Identity a)Source # truncate ::Integral b =>Identity a -> bSource # round ::Integral b =>Identity a -> bSource # ceiling ::Integral b =>Identity a -> bSource # floor ::Integral b =>Identity a -> bSource #
Show a =>Show (Identity a)Source #	This instance would be equivalent to the derived instances of the`Identity` newtype if the`runIdentity` field were removed Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods showsPrec ::Int ->Identity a ->ShowS Source # show ::Identity a ->String Source # showList :: [Identity a] ->ShowS Source #
Ix a =>Ix (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods range :: (Identity a,Identity a) -> [Identity a]Source # index :: (Identity a,Identity a) ->Identity a ->Int Source # unsafeIndex :: (Identity a,Identity a) ->Identity a ->Int inRange :: (Identity a,Identity a) ->Identity a ->Bool Source # rangeSize :: (Identity a,Identity a) ->Int Source # unsafeRangeSize :: (Identity a,Identity a) ->Int
IsString a =>IsString (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.String Methods fromString ::String ->Identity aSource #
Generic (Identity a)Source #
Instance details Defined inData.Functor.Identity Associated Types typeRep (Identity a) ::Type ->Type Source # Methods from ::Identity a ->Rep (Identity a) xSource # to ::Rep (Identity a) x ->Identity aSource #
Semigroup a =>Semigroup (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods (<>) ::Identity a ->Identity a ->Identity aSource # sconcat ::NonEmpty (Identity a) ->Identity aSource # stimes ::Integral b => b ->Identity a ->Identity aSource #
Monoid a =>Monoid (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods mempty ::Identity aSource # mappend ::Identity a ->Identity a ->Identity aSource # mconcat :: [Identity a] ->Identity aSource #
FiniteBits a =>FiniteBits (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods finiteBitSize ::Identity a ->Int Source # countLeadingZeros ::Identity a ->Int Source # countTrailingZeros ::Identity a ->Int Source #
Bits a =>Bits (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods (.&.) ::Identity a ->Identity a ->Identity aSource # (.\|.) ::Identity a ->Identity a ->Identity aSource # xor ::Identity a ->Identity a ->Identity aSource # complement ::Identity a ->Identity aSource # shift ::Identity a ->Int ->Identity aSource # rotate ::Identity a ->Int ->Identity aSource # zeroBits ::Identity aSource # bit ::Int ->Identity aSource # setBit ::Identity a ->Int ->Identity aSource # clearBit ::Identity a ->Int ->Identity aSource # complementBit ::Identity a ->Int ->Identity aSource # testBit ::Identity a ->Int ->Bool Source # bitSizeMaybe ::Identity a ->Maybe Int Source # bitSize ::Identity a ->Int Source # isSigned ::Identity a ->Bool Source # shiftL ::Identity a ->Int ->Identity aSource # unsafeShiftL ::Identity a ->Int ->Identity aSource # shiftR ::Identity a ->Int ->Identity aSource # unsafeShiftR ::Identity a ->Int ->Identity aSource # rotateL ::Identity a ->Int ->Identity aSource # rotateR ::Identity a ->Int ->Identity aSource # popCount ::Identity a ->Int Source #
Storable a =>Storable (Identity a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Identity Methods sizeOf ::Identity a ->Int Source # alignment ::Identity a ->Int Source # peekElemOff ::Ptr (Identity a) ->Int ->IO (Identity a)Source # pokeElemOff ::Ptr (Identity a) ->Int ->Identity a ->IO ()Source # peekByteOff ::Ptr b ->Int ->IO (Identity a)Source # pokeByteOff ::Ptr b ->Int ->Identity a ->IO ()Source # peek ::Ptr (Identity a) ->IO (Identity a)Source # poke ::Ptr (Identity a) ->Identity a ->IO ()Source #
Generic1 IdentitySource #
Instance details Defined inData.Functor.Identity Associated Types typeRep1 Identity :: k ->Type Source # Methods from1 ::Identity a ->Rep1 Identity aSource # to1 ::Rep1 Identity a ->Identity aSource #
typeRep (Identity a)Source #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity typeRep (Identity a) =D1 (MetaData "Identity" "Data.Functor.Identity" "base"True) (C1 (MetaCons "Identity"PrefixI True) (S1 (MetaSel (Just "runIdentity")NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
typeRep1 IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity typeRep1 Identity =D1 (MetaData "Identity" "Data.Functor.Identity" "base"True) (C1 (MetaCons "Identity"PrefixI True) (S1 (MetaSel (Just "runIdentity")NoSourceUnpackedness NoSourceStrictness DecidedLazy)Par1))

Movatterモバイル変換

Documentation