Data.Functor.Identity.Compat
newtype Identity a #
Constructors
Fields
Defined in Control.Monad.Zip
Methods
mzip :: Identity a -> Identity b -> Identity (a, b)
mzipWith :: (a -> b -> c) -> Identity a -> Identity b -> Identity c
munzip :: Identity (a, b) -> (Identity a, Identity b)
Defined in Data.Foldable1
fold1 :: Semigroup m => Identity m -> m #
foldMap1 :: Semigroup m => (a -> m) -> Identity a -> m #
foldMap1' :: Semigroup m => (a -> m) -> Identity a -> m #
toNonEmpty :: Identity a -> NonEmpty a #
maximum :: Ord a => Identity a -> a #
minimum :: Ord a => Identity a -> a #
head :: Identity a -> a #
last :: Identity a -> a #
foldrMap1 :: (a -> b) -> (a -> b -> b) -> Identity a -> b #
foldlMap1' :: (a -> b) -> (b -> a -> b) -> Identity a -> b #
foldlMap1 :: (a -> b) -> (b -> a -> b) -> Identity a -> b #
foldrMap1' :: (a -> b) -> (a -> b -> b) -> Identity a -> b #
Defined in Data.Functor.Classes
liftEq :: (a -> b -> Bool) -> Identity a -> Identity b -> Bool
liftCompare :: (a -> b -> Ordering) -> Identity a -> Identity b -> Ordering
liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Identity a)
liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Identity a]
liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Identity a)
liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Identity a]
liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Identity a -> ShowS
liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Identity a] -> ShowS
Defined in GHC.Internal.Data.Functor.Identity
pure :: a -> Identity a #
(<*>) :: Identity (a -> b) -> Identity a -> Identity b #
liftA2 :: (a -> b -> c) -> Identity a -> Identity b -> Identity c #
(*>) :: Identity a -> Identity b -> Identity b #
(<*) :: Identity a -> Identity b -> Identity a #
fmap :: (a -> b) -> Identity a -> Identity b #
(<$) :: a -> Identity b -> Identity a #
(>>=) :: Identity a -> (a -> Identity b) -> Identity b #
(>>) :: Identity a -> Identity b -> Identity b #
return :: a -> Identity a #
mfix :: (a -> Identity a) -> Identity a
fold :: Monoid m => Identity m -> m #
foldMap :: Monoid m => (a -> m) -> Identity a -> m #
foldMap' :: Monoid m => (a -> m) -> Identity a -> m #
foldr :: (a -> b -> b) -> b -> Identity a -> b #
foldr' :: (a -> b -> b) -> b -> Identity a -> b #
foldl :: (b -> a -> b) -> b -> Identity a -> b #
foldl' :: (b -> a -> b) -> b -> Identity a -> b #
foldr1 :: (a -> a -> a) -> Identity a -> a #
foldl1 :: (a -> a -> a) -> Identity a -> a #
toList :: Identity a -> [a] #
null :: Identity a -> Bool #
length :: Identity a -> Int #
elem :: Eq a => a -> Identity a -> Bool #
sum :: Num a => Identity a -> a #
product :: Num a => Identity a -> a #
Defined in GHC.Internal.Data.Traversable
traverse :: Applicative f => (a -> f b) -> Identity a -> f (Identity b) #
sequenceA :: Applicative f => Identity (f a) -> f (Identity a) #
mapM :: Monad m => (a -> m b) -> Identity a -> m (Identity b) #
sequence :: Monad m => Identity (m a) -> m (Identity a) #
Associated Types
from1 :: Identity a -> Rep1 Identity a
to1 :: Rep1 Identity a -> Identity a
mempty :: Identity a #
mappend :: Identity a -> Identity a -> Identity a #
mconcat :: [Identity a] -> Identity a #
(<>) :: Identity a -> Identity a -> Identity a #
sconcat :: NonEmpty (Identity a) -> Identity a #
stimes :: Integral b => b -> Identity a -> Identity a #
(.&.) :: Identity a -> Identity a -> Identity a #
(.|.) :: Identity a -> Identity a -> Identity a #
xor :: Identity a -> Identity a -> Identity a #
complement :: Identity a -> Identity a #
shift :: Identity a -> Int -> Identity a #
rotate :: Identity a -> Int -> Identity a #
zeroBits :: Identity a #
bit :: Int -> Identity a #
setBit :: Identity a -> Int -> Identity a #
clearBit :: Identity a -> Int -> Identity a #
complementBit :: Identity a -> Int -> Identity a #
testBit :: Identity a -> Int -> Bool #
bitSizeMaybe :: Identity a -> Maybe Int #
bitSize :: Identity a -> Int #
isSigned :: Identity a -> Bool #
shiftL :: Identity a -> Int -> Identity a #
unsafeShiftL :: Identity a -> Int -> Identity a #
shiftR :: Identity a -> Int -> Identity a #
unsafeShiftR :: Identity a -> Int -> Identity a #
rotateL :: Identity a -> Int -> Identity a #
rotateR :: Identity a -> Int -> Identity a #
popCount :: Identity a -> Int #
finiteBitSize :: Identity a -> Int #
countLeadingZeros :: Identity a -> Int #
countTrailingZeros :: Identity a -> Int #
Defined in GHC.Internal.Data.String
fromString :: String -> Identity a #
minBound :: Identity a #
maxBound :: Identity a #
succ :: Identity a -> Identity a #
pred :: Identity a -> Identity a #
toEnum :: Int -> Identity a #
fromEnum :: Identity a -> Int #
enumFrom :: Identity a -> [Identity a] #
enumFromThen :: Identity a -> Identity a -> [Identity a] #
enumFromTo :: Identity a -> Identity a -> [Identity a] #
enumFromThenTo :: Identity a -> Identity a -> Identity a -> [Identity a] #
pi :: Identity a #
exp :: Identity a -> Identity a #
log :: Identity a -> Identity a #
sqrt :: Identity a -> Identity a #
(**) :: Identity a -> Identity a -> Identity a #
logBase :: Identity a -> Identity a -> Identity a #
sin :: Identity a -> Identity a #
cos :: Identity a -> Identity a #
tan :: Identity a -> Identity a #
asin :: Identity a -> Identity a #
acos :: Identity a -> Identity a #
atan :: Identity a -> Identity a #
sinh :: Identity a -> Identity a #
cosh :: Identity a -> Identity a #
tanh :: Identity a -> Identity a #
asinh :: Identity a -> Identity a #
acosh :: Identity a -> Identity a #
atanh :: Identity a -> Identity a #
log1p :: Identity a -> Identity a #
expm1 :: Identity a -> Identity a #
log1pexp :: Identity a -> Identity a #
log1mexp :: Identity a -> Identity a #
floatRadix :: Identity a -> Integer #
floatDigits :: Identity a -> Int #
floatRange :: Identity a -> (Int, Int) #
decodeFloat :: Identity a -> (Integer, Int) #
encodeFloat :: Integer -> Int -> Identity a #
exponent :: Identity a -> Int #
significand :: Identity a -> Identity a #
scaleFloat :: Int -> Identity a -> Identity a #
isNaN :: Identity a -> Bool #
isInfinite :: Identity a -> Bool #
isDenormalized :: Identity a -> Bool #
isNegativeZero :: Identity a -> Bool #
isIEEE :: Identity a -> Bool #
atan2 :: Identity a -> Identity a -> Identity a #
sizeOf :: Identity a -> Int #
alignment :: Identity a -> Int #
peekElemOff :: Ptr (Identity a) -> Int -> IO (Identity a) #
pokeElemOff :: Ptr (Identity a) -> Int -> Identity a -> IO () #
peekByteOff :: Ptr b -> Int -> IO (Identity a) #
pokeByteOff :: Ptr b -> Int -> Identity a -> IO () #
peek :: Ptr (Identity a) -> IO (Identity a) #
poke :: Ptr (Identity a) -> Identity a -> IO () #
from :: Identity a -> Rep (Identity a) x
to :: Rep (Identity a) x -> Identity a
range :: (Identity a, Identity a) -> [Identity a]
index :: (Identity a, Identity a) -> Identity a -> Int
unsafeIndex :: (Identity a, Identity a) -> Identity a -> Int
inRange :: (Identity a, Identity a) -> Identity a -> Bool
rangeSize :: (Identity a, Identity a) -> Int
unsafeRangeSize :: (Identity a, Identity a) -> Int
(+) :: Identity a -> Identity a -> Identity a #
(-) :: Identity a -> Identity a -> Identity a #
(*) :: Identity a -> Identity a -> Identity a #
negate :: Identity a -> Identity a #
abs :: Identity a -> Identity a #
signum :: Identity a -> Identity a #
fromInteger :: Integer -> Identity a #
readsPrec :: Int -> ReadS (Identity a) #
readList :: ReadS [Identity a] #
readPrec :: ReadPrec (Identity a) #
readListPrec :: ReadPrec [Identity a] #
(/) :: Identity a -> Identity a -> Identity a #
recip :: Identity a -> Identity a #
fromRational :: Rational -> Identity a #
quot :: Identity a -> Identity a -> Identity a #
rem :: Identity a -> Identity a -> Identity a #
div :: Identity a -> Identity a -> Identity a #
mod :: Identity a -> Identity a -> Identity a #
quotRem :: Identity a -> Identity a -> (Identity a, Identity a) #
divMod :: Identity a -> Identity a -> (Identity a, Identity a) #
toInteger :: Identity a -> Integer #
toRational :: Identity a -> Rational #
properFraction :: Integral b => Identity a -> (b, Identity a) #
truncate :: Integral b => Identity a -> b #
round :: Integral b => Identity a -> b #
ceiling :: Integral b => Identity a -> b #
floor :: Integral b => Identity a -> b #
showsPrec :: Int -> Identity a -> ShowS #
show :: Identity a -> String #
showList :: [Identity a] -> ShowS #
(==) :: Identity a -> Identity a -> Bool #
(/=) :: Identity a -> Identity a -> Bool #
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 #