Ala.Identity

Documentation

newtype Identity a

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

Since: base-4.8.0.0

Constructors

Identity

Fields

• runIdentity :: a

Instances

Monad Identity

Since: base-4.8.0.0

Defined in Data.Functor.Identity

Methods

(>>=) :: Identity a -> (a -> Identity b) -> Identity b

(>>) :: Identity a -> Identity b -> Identity b

return :: a -> Identity a

fail :: String -> Identity a

Functor Identity

Since: base-4.8.0.0

Defined in Data.Functor.Identity

Methods

fmap :: (a -> b) -> Identity a -> Identity b

(<$) :: a -> Identity b -> Identity a

MonadFix Identity

Since: base-4.8.0.0

Defined in Data.Functor.Identity

Methods

mfix :: (a -> Identity a) -> Identity a

Applicative Identity

Since: base-4.8.0.0

Defined in Data.Functor.Identity

Methods

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

Foldable Identity

Since: base-4.8.0.0

Defined in Data.Functor.Identity

Methods

fold :: Monoid m => Identity m -> 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

maximum :: Ord a => Identity a -> a

minimum :: Ord a => Identity a -> a

sum :: Num a => Identity a -> a

product :: Num a => Identity a -> a

Traversable Identity

Defined in Data.Traversable

Methods

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)

Distributive Identity

Defined in Data.Distributive

Methods

distribute :: Functor f => f (Identity a) -> Identity (f a)

collect :: Functor f => (a -> Identity b) -> f a -> Identity (f b)

distributeM :: Monad m => m (Identity a) -> Identity (m a)

collectM :: Monad m => (a -> Identity b) -> m a -> Identity (m b)

Representable Identity

Defined in Data.Functor.Rep

Associated Types

type Rep Identity :: *

Methods

tabulate :: (Rep Identity -> a) -> Identity a

index :: Identity a -> Rep Identity -> a

ToJSON1 Identity

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON :: (a -> Value) -> ([a] -> Value) -> Identity a -> Value

liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Identity a] -> Value

liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Identity a -> Encoding

liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Identity a] -> Encoding

FromJSON1 Identity

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Identity a)

liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Identity a]

Eq1 Identity

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Identity a -> Identity b -> Bool

Ord1 Identity

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftCompare :: (a -> b -> Ordering) -> Identity a -> Identity b -> Ordering

Read1 Identity

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

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]

Show1 Identity

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Identity a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Identity a] -> ShowS

MonadZip Identity

Since: base-4.8.0.0

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)

Comonad Identity

Defined in Control.Comonad

Methods

extract :: Identity a -> a

duplicate :: Identity a -> Identity (Identity a)

extend :: (Identity a -> b) -> Identity a -> Identity b

ComonadApply Identity

Defined in Control.Comonad

Methods

(<@>) :: Identity (a -> b) -> Identity a -> Identity b

(@>) :: Identity a -> Identity b -> Identity b

(<@) :: Identity a -> Identity b -> Identity a

NFData1 Identity

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

liftRnf :: (a -> ()) -> Identity a -> ()

Hashable1 Identity

Defined in Data.Hashable.Class

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Identity a -> Int

Apply Identity

Defined in Data.Functor.Bind.Class

Methods

(<.>) :: Identity (a -> b) -> Identity a -> Identity b

(.>) :: Identity a -> Identity b -> Identity b

(<.) :: Identity a -> Identity b -> Identity a

liftF2 :: (a -> b -> c) -> Identity a -> Identity b -> Identity c

Traversable1 Identity

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Identity a -> f (Identity b)

sequence1 :: Apply f => Identity (f b) -> f (Identity b)

Pointed Identity

Defined in Data.Pointed

Methods

point :: a -> Identity a

Copointed Identity

Defined in Data.Copointed

Methods

copoint :: Identity a -> a

Foldable1 Identity

Defined in Data.Semigroup.Foldable.Class

Methods

fold1 :: Semigroup m => Identity m -> m

foldMap1 :: Semigroup m => (a -> m) -> Identity a -> m

toNonEmpty :: Identity a -> NonEmpty a

Bind Identity

Defined in Data.Functor.Bind.Class

Methods

(>>-) :: Identity a -> (a -> Identity b) -> Identity b

join :: Identity (Identity a) -> Identity a

Extend Identity

Defined in Data.Functor.Extend

Methods

duplicated :: Identity a -> Identity (Identity a)

extended :: (Identity a -> b) -> Identity a -> Identity b

MonadBase Identity Identity

Defined in Control.Monad.Base

Methods

liftBase :: Identity α -> Identity α

Sieve ReifiedGetter Identity

Defined in Control.Lens.Reified

Methods

sieve :: ReifiedGetter a b -> a -> Identity b

Cosieve ReifiedGetter Identity

Defined in Control.Lens.Reified

Methods

cosieve :: ReifiedGetter a b -> Identity a -> b

() :=> (Monad Identity)

Defined in Data.Constraint

Methods

ins :: () :- Monad Identity

() :=> (Functor Identity)

Defined in Data.Constraint

Methods

ins :: () :- Functor Identity

Bounded a => Bounded (Identity a)

Defined in Data.Functor.Identity

Methods

minBound :: Identity a

maxBound :: Identity a

Enum a => Enum (Identity a)

Defined in Data.Functor.Identity

Methods

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]

Eq a => Eq (Identity a)

Defined in Data.Functor.Identity

Methods

(==) :: Identity a -> Identity a -> Bool

(/=) :: Identity a -> Identity a -> Bool

Floating a => Floating (Identity a)

Defined in Data.Functor.Identity

Methods

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

Fractional a => Fractional (Identity a)

Defined in Data.Functor.Identity

Methods

(/) :: Identity a -> Identity a -> Identity a

recip :: Identity a -> Identity a

fromRational :: Rational -> Identity a

Integral a => Integral (Identity a)

Defined in Data.Functor.Identity

Methods

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

Data a => Data (Identity a)

Since: base-4.9.0.0

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identity a -> c (Identity a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Identity a)

toConstr :: Identity a -> Constr

dataTypeOf :: Identity a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Identity a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Identity a))

gmapT :: (forall b. Data b => b -> b) -> Identity a -> Identity a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identity a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identity a -> r

gmapQ :: (forall d. Data d => d -> u) -> Identity a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identity a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identity a -> m (Identity a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identity a -> m (Identity a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identity a -> m (Identity a)

Num a => Num (Identity a)

Defined in Data.Functor.Identity

Methods

(+) :: 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

Ord a => Ord (Identity a)

Defined in Data.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)

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

Defined in Data.Functor.Identity

Methods

readsPrec :: Int -> ReadS (Identity a)

readList :: ReadS [Identity a]

readPrec :: ReadPrec (Identity a)

readListPrec :: ReadPrec [Identity a]

Real a => Real (Identity a)

Defined in Data.Functor.Identity

Methods

toRational :: Identity a -> Rational

RealFloat a => RealFloat (Identity a)

Defined in Data.Functor.Identity

Methods

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

RealFrac a => RealFrac (Identity a)

Defined in Data.Functor.Identity

Methods

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

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

Defined in Data.Functor.Identity

Methods

showsPrec :: Int -> Identity a -> ShowS

show :: Identity a -> String

showList :: [Identity a] -> ShowS

Ix a => Ix (Identity a)

Defined in Data.Functor.Identity

Methods

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

IsString a => IsString (Identity a)

Defined in Data.String

Methods

fromString :: String -> Identity a

Traversable (LogicT Identity)

Defined in Control.Monad.Logic

Methods

traverse :: Applicative f => (a -> f b) -> LogicT Identity a -> f (LogicT Identity b)

sequenceA :: Applicative f => LogicT Identity (f a) -> f (LogicT Identity a)

mapM :: Monad m => (a -> m b) -> LogicT Identity a -> m (LogicT Identity b)

sequence :: Monad m => LogicT Identity (m a) -> m (LogicT Identity a)

Generic (Identity a)

Defined in Data.Functor.Identity

Associated Types

type Rep (Identity a) :: * -> *

Methods

from :: Identity a -> Rep (Identity a) x

to :: Rep (Identity a) x -> Identity a

Semigroup a => Semigroup (Identity a)

Defined in Data.Functor.Identity

Methods

(<>) :: Identity a -> Identity a -> Identity a

sconcat :: NonEmpty (Identity a) -> Identity a

stimes :: Integral b => b -> Identity a -> Identity a

Monoid a => Monoid (Identity a)

Defined in Data.Functor.Identity

Methods

mempty :: Identity a

mappend :: Identity a -> Identity a -> Identity a

mconcat :: [Identity a] -> Identity a

Hashable a => Hashable (Identity a)

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Identity a -> Int

hash :: Identity a -> Int

ToJSON a => ToJSON (Identity a)

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Identity a -> Value

toEncoding :: Identity a -> Encoding

toJSONList :: [Identity a] -> Value

toEncodingList :: [Identity a] -> Encoding

ToJSONKey a => ToJSONKey (Identity a)

Defined in Data.Aeson.Types.ToJSON

Methods

toJSONKey :: ToJSONKeyFunction (Identity a)

toJSONKeyList :: ToJSONKeyFunction [Identity a]

FromJSON a => FromJSON (Identity a)

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Identity a)

parseJSONList :: Value -> Parser [Identity a]

FromJSONKey a => FromJSONKey (Identity a)

Defined in Data.Aeson.Types.FromJSON

Methods

fromJSONKey :: FromJSONKeyFunction (Identity a)

fromJSONKeyList :: FromJSONKeyFunction [Identity a]

Storable a => Storable (Identity a)

Defined in Data.Functor.Identity

Methods

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 ()

Bits a => Bits (Identity a)

Defined in Data.Functor.Identity

Methods

(.&.) :: 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

FiniteBits a => FiniteBits (Identity a)

Defined in Data.Functor.Identity

Methods

finiteBitSize :: Identity a -> Int

countLeadingZeros :: Identity a -> Int

countTrailingZeros :: Identity a -> Int

NFData a => NFData (Identity a)

Since: deepseq-1.4.0.0

Defined in Control.DeepSeq

Methods

rnf :: Identity a -> ()

Ixed (Identity a)

Defined in Control.Lens.At

Methods

ix :: Index (Identity a) -> Traversal' (Identity a) (IxValue (Identity a))

Wrapped (Identity a)

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (Identity a) :: *

Methods

_Wrapped' :: Iso' (Identity a) (Unwrapped (Identity a))

Pretty a => Pretty (Identity a)

>>> pretty (Identity 1)
1

Defined in Data.Text.Prettyprint.Doc.Internal

Methods

pretty :: Identity a -> Doc ann

prettyList :: [Identity a] -> Doc ann

Upper a => Upper (Identity a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Identity a

Lower a => Lower (Identity a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Identity a

Serialise a => Serialise (Identity a)

Since: serialise-0.2.0.0

Defined in Codec.Serialise.Class

Methods

encode :: Identity a -> Encoding

decode :: Decoder s (Identity a)

encodeList :: [Identity a] -> Encoding

decodeList :: Decoder s [Identity a]

Generic1 Identity

Defined in Data.Functor.Identity

Associated Types

type Rep1 Identity :: k -> *

Methods

from1 :: Identity a -> Rep1 Identity a

to1 :: Rep1 Identity a -> Identity a

t ~ Identity b => Rewrapped (Identity a) t

Defined in Control.Lens.Wrapped

(Bounded a) :=> (Bounded (Identity a))

Defined in Data.Constraint

Methods

ins :: Bounded a :- Bounded (Identity a)

(Enum a) :=> (Enum (Identity a))

Defined in Data.Constraint

Methods

ins :: Enum a :- Enum (Identity a)

(Eq a) :=> (Eq (Identity a))

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq (Identity a)

(Floating a) :=> (Floating (Identity a))

Defined in Data.Constraint

Methods

ins :: Floating a :- Floating (Identity a)

(Fractional a) :=> (Fractional (Identity a))

Defined in Data.Constraint

Methods

ins :: Fractional a :- Fractional (Identity a)

(Integral a) :=> (Integral (Identity a))

Defined in Data.Constraint

Methods

ins :: Integral a :- Integral (Identity a)

(Num a) :=> (Num (Identity a))

Defined in Data.Constraint

Methods

ins :: Num a :- Num (Identity a)

(Ord a) :=> (Ord (Identity a))

Defined in Data.Constraint

Methods

ins :: Ord a :- Ord (Identity a)

(Read a) :=> (Read (Identity a))

Defined in Data.Constraint

Methods

ins :: Read a :- Read (Identity a)

(Real a) :=> (Real (Identity a))

Defined in Data.Constraint

Methods

ins :: Real a :- Real (Identity a)

(RealFloat a) :=> (RealFloat (Identity a))

Defined in Data.Constraint

Methods

ins :: RealFloat a :- RealFloat (Identity a)

(RealFrac a) :=> (RealFrac (Identity a))

Defined in Data.Constraint

Methods

ins :: RealFrac a :- RealFrac (Identity a)

(Show a) :=> (Show (Identity a))

Defined in Data.Constraint

Methods

ins :: Show a :- Show (Identity a)

(Semigroup a) :=> (Semigroup (Identity a))

Defined in Data.Constraint

Methods

ins :: Semigroup a :- Semigroup (Identity a)

(Monoid a) :=> (Monoid (Identity a))

Defined in Data.Constraint

Methods

ins :: Monoid a :- Monoid (Identity a)

(Bits a) :=> (Bits (Identity a))

Defined in Data.Constraint

Methods

ins :: Bits a :- Bits (Identity a)

Each (Identity a) (Identity b) a b

each :: Traversal (Identity a) (Identity b) a b

Defined in Control.Lens.Each

Methods

each :: Traversal (Identity a) (Identity b) a b

Field1 (Identity a) (Identity b) a b

Defined in Control.Lens.Tuple

Methods

_1 :: Lens (Identity a) (Identity b) a b

type Rep Identity

Defined in Data.Functor.Rep

type Rep Identity = ()

type Rep (Identity a)

Defined in Data.Functor.Identity

type Rep (Identity a) = D1 (MetaData "Identity" "Data.Functor.Identity" "base" True) (C1 (MetaCons "Identity" PrefixI True) (S1 (MetaSel (Just "runIdentity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type Index (Identity a)

Defined in Control.Lens.At

type Index (Identity a) = ()

type IxValue (Identity a)

Defined in Control.Lens.At

type IxValue (Identity a) = a

type Unwrapped (Identity a)

Defined in Control.Lens.Wrapped

type Unwrapped (Identity a) = a

type Rep1 Identity

Defined in Data.Functor.Identity

type Rep1 Identity = D1 (MetaData "Identity" "Data.Functor.Identity" "base" True) (C1 (MetaCons "Identity" PrefixI True) (S1 (MetaSel (Just "runIdentity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

newtype IdentityT (f :: k -> *) (a :: k) :: forall k. (k -> *) -> k -> *

The trivial monad transformer, which maps a monad to an equivalent monad.

Constructors

IdentityT

Fields

• runIdentityT :: f a

Instances

MonadParsec e s m => MonadParsec e s (IdentityT m)

Defined in Text.Megaparsec.Class

Methods

failure :: Maybe (ErrorItem (Token s)) -> Set (ErrorItem (Token s)) -> IdentityT m a

fancyFailure :: Set (ErrorFancy e) -> IdentityT m a

label :: String -> IdentityT m a -> IdentityT m a

hidden :: IdentityT m a -> IdentityT m a

try :: IdentityT m a -> IdentityT m a

lookAhead :: IdentityT m a -> IdentityT m a

notFollowedBy :: IdentityT m a -> IdentityT m ()

withRecovery :: (ParseError (Token s) e -> IdentityT m a) -> IdentityT m a -> IdentityT m a

observing :: IdentityT m a -> IdentityT m (Either (ParseError (Token s) e) a)

eof :: IdentityT m ()

token :: (Token s -> Either (Maybe (ErrorItem (Token s)), Set (ErrorItem (Token s))) a) -> Maybe (Token s) -> IdentityT m a

tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> IdentityT m (Tokens s)

takeWhileP :: Maybe String -> (Token s -> Bool) -> IdentityT m (Tokens s)

takeWhile1P :: Maybe String -> (Token s -> Bool) -> IdentityT m (Tokens s)

takeP :: Maybe String -> Int -> IdentityT m (Tokens s)

getParserState :: IdentityT m (State s)

updateParserState :: (State s -> State s) -> IdentityT m ()

MonadReader r m => MonadReader r (IdentityT m)

Defined in Control.Monad.Reader.Class

Methods

ask :: IdentityT m r

local :: (r -> r) -> IdentityT m a -> IdentityT m a

reader :: (r -> a) -> IdentityT m a

MonadState s m => MonadState s (IdentityT m)

Defined in Control.Monad.State.Class

Methods

get :: IdentityT m s

put :: s -> IdentityT m ()

state :: (s -> (a, s)) -> IdentityT m a

(Functor f, MonadFree f m) => MonadFree f (IdentityT m)

Defined in Control.Monad.Free.Class

Methods

wrap :: f (IdentityT m a) -> IdentityT m a

MonadError e m => MonadError e (IdentityT m)

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> IdentityT m a

catchError :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a

MonadWriter w m => MonadWriter w (IdentityT m)

Defined in Control.Monad.Writer.Class

Methods

writer :: (a, w) -> IdentityT m a

tell :: w -> IdentityT m ()

listen :: IdentityT m a -> IdentityT m (a, w)

pass :: IdentityT m (a, w -> w) -> IdentityT m a

MonadBase b m => MonadBase b (IdentityT m)

Defined in Control.Monad.Base

Methods

liftBase :: b α -> IdentityT m α

MonadTrans (IdentityT :: (* -> *) -> * -> *)

Defined in Control.Monad.Trans.Identity

Methods

lift :: Monad m => m a -> IdentityT m a

MMonad (IdentityT :: (* -> *) -> * -> *)

Defined in Control.Monad.Morph

Methods

embed :: Monad n => (forall a. m a -> IdentityT n a) -> IdentityT m b -> IdentityT n b

MFunctor (IdentityT :: (* -> *) -> * -> *)

Defined in Control.Monad.Morph

Methods

hoist :: Monad m => (forall a. m a -> n a) -> IdentityT m b -> IdentityT n b

Monad m => Monad (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

(>>=) :: IdentityT m a -> (a -> IdentityT m b) -> IdentityT m b

(>>) :: IdentityT m a -> IdentityT m b -> IdentityT m b

return :: a -> IdentityT m a

fail :: String -> IdentityT m a

Functor m => Functor (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

fmap :: (a -> b) -> IdentityT m a -> IdentityT m b

(<$) :: a -> IdentityT m b -> IdentityT m a

MonadFix m => MonadFix (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

mfix :: (a -> IdentityT m a) -> IdentityT m a

MonadFail m => MonadFail (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

fail :: String -> IdentityT m a

Applicative m => Applicative (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

pure :: a -> IdentityT m a

(<*>) :: IdentityT m (a -> b) -> IdentityT m a -> IdentityT m b

liftA2 :: (a -> b -> c) -> IdentityT m a -> IdentityT m b -> IdentityT m c

(*>) :: IdentityT m a -> IdentityT m b -> IdentityT m b

(<*) :: IdentityT m a -> IdentityT m b -> IdentityT m a

Foldable f => Foldable (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

fold :: Monoid m => IdentityT f m -> m

foldMap :: Monoid m => (a -> m) -> IdentityT f a -> m

foldr :: (a -> b -> b) -> b -> IdentityT f a -> b

foldr' :: (a -> b -> b) -> b -> IdentityT f a -> b

foldl :: (b -> a -> b) -> b -> IdentityT f a -> b

foldl' :: (b -> a -> b) -> b -> IdentityT f a -> b

foldr1 :: (a -> a -> a) -> IdentityT f a -> a

foldl1 :: (a -> a -> a) -> IdentityT f a -> a

toList :: IdentityT f a -> [a]

null :: IdentityT f a -> Bool

length :: IdentityT f a -> Int

elem :: Eq a => a -> IdentityT f a -> Bool

maximum :: Ord a => IdentityT f a -> a

minimum :: Ord a => IdentityT f a -> a

sum :: Num a => IdentityT f a -> a

product :: Num a => IdentityT f a -> a

Traversable f => Traversable (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

traverse :: Applicative f0 => (a -> f0 b) -> IdentityT f a -> f0 (IdentityT f b)

sequenceA :: Applicative f0 => IdentityT f (f0 a) -> f0 (IdentityT f a)

mapM :: Monad m => (a -> m b) -> IdentityT f a -> m (IdentityT f b)

sequence :: Monad m => IdentityT f (m a) -> m (IdentityT f a)

Alternative m => Alternative (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

empty :: IdentityT m a

(<|>) :: IdentityT m a -> IdentityT m a -> IdentityT m a

some :: IdentityT m a -> IdentityT m [a]

many :: IdentityT m a -> IdentityT m [a]

Distributive g => Distributive (IdentityT g)

Defined in Data.Distributive

Methods

distribute :: Functor f => f (IdentityT g a) -> IdentityT g (f a)

collect :: Functor f => (a -> IdentityT g b) -> f a -> IdentityT g (f b)

distributeM :: Monad m => m (IdentityT g a) -> IdentityT g (m a)

collectM :: Monad m => (a -> IdentityT g b) -> m a -> IdentityT g (m b)

Contravariant f => Contravariant (IdentityT f)

Defined in Data.Functor.Contravariant

Methods

contramap :: (a -> b) -> IdentityT f b -> IdentityT f a

(>$) :: b -> IdentityT f b -> IdentityT f a

Representable m => Representable (IdentityT m)

Defined in Data.Functor.Rep

Associated Types

type Rep (IdentityT m) :: *

Methods

tabulate :: (Rep (IdentityT m) -> a) -> IdentityT m a

index :: IdentityT m a -> Rep (IdentityT m) -> a

MonadPlus m => MonadPlus (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

mzero :: IdentityT m a

mplus :: IdentityT m a -> IdentityT m a -> IdentityT m a

Eq1 f => Eq1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftEq :: (a -> b -> Bool) -> IdentityT f a -> IdentityT f b -> Bool

Ord1 f => Ord1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftCompare :: (a -> b -> Ordering) -> IdentityT f a -> IdentityT f b -> Ordering

Read1 f => Read1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (IdentityT f a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [IdentityT f a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (IdentityT f a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [IdentityT f a]

Show1 f => Show1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> IdentityT f a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [IdentityT f a] -> ShowS

MonadZip m => MonadZip (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

mzip :: IdentityT m a -> IdentityT m b -> IdentityT m (a, b)

mzipWith :: (a -> b -> c) -> IdentityT m a -> IdentityT m b -> IdentityT m c

munzip :: IdentityT m (a, b) -> (IdentityT m a, IdentityT m b)

MonadIO m => MonadIO (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

liftIO :: IO a -> IdentityT m a

Comonad w => Comonad (IdentityT w)

Defined in Control.Comonad

Methods

extract :: IdentityT w a -> a

duplicate :: IdentityT w a -> IdentityT w (IdentityT w a)

extend :: (IdentityT w a -> b) -> IdentityT w a -> IdentityT w b

ComonadApply w => ComonadApply (IdentityT w)

Defined in Control.Comonad

Methods

(<@>) :: IdentityT w (a -> b) -> IdentityT w a -> IdentityT w b

(@>) :: IdentityT w a -> IdentityT w b -> IdentityT w b

(<@) :: IdentityT w a -> IdentityT w b -> IdentityT w a

MonadMask m => MonadMask (IdentityT m)

Defined in Control.Monad.Catch

Methods

mask :: ((forall a. IdentityT m a -> IdentityT m a) -> IdentityT m b) -> IdentityT m b

uninterruptibleMask :: ((forall a. IdentityT m a -> IdentityT m a) -> IdentityT m b) -> IdentityT m b

generalBracket :: IdentityT m a -> (a -> ExitCase b -> IdentityT m c) -> (a -> IdentityT m b) -> IdentityT m (b, c)

MonadCatch m => MonadCatch (IdentityT m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a

MonadThrow m => MonadThrow (IdentityT m)

Defined in Control.Monad.Catch

Methods

throwM :: Exception e => e -> IdentityT m a

Divisible f => Divisible (IdentityT f)

Defined in Data.Functor.Contravariant.Divisible

Methods

divide :: (a -> (b, c)) -> IdentityT f b -> IdentityT f c -> IdentityT f a

conquer :: IdentityT f a

Decidable f => Decidable (IdentityT f)

Defined in Data.Functor.Contravariant.Divisible

Methods

lose :: (a -> Void) -> IdentityT f a

choose :: (a -> Either b c) -> IdentityT f b -> IdentityT f c -> IdentityT f a

PrimMonad m => PrimMonad (IdentityT m)

Defined in Control.Monad.Primitive

Associated Types

type PrimState (IdentityT m) :: *

Methods

primitive :: (State# (PrimState (IdentityT m)) -> (#State# (PrimState (IdentityT m)), a#)) -> IdentityT m a

MonadTest m => MonadTest (IdentityT m)

Defined in Hedgehog.Internal.Property

Methods

liftTest :: Test a -> IdentityT m a

MonadGen m => MonadGen (IdentityT m)

Defined in Hedgehog.Internal.Gen

Methods

liftGen :: Gen a -> IdentityT m a

shrinkGen :: (a -> [a]) -> IdentityT m a -> IdentityT m a

pruneGen :: IdentityT m a -> IdentityT m a

scaleGen :: (Size -> Size) -> IdentityT m a -> IdentityT m a

freezeGen :: IdentityT m a -> IdentityT m (a, IdentityT m a)

Apply w => Apply (IdentityT w)

Defined in Data.Functor.Bind.Class

Methods

(<.>) :: IdentityT w (a -> b) -> IdentityT w a -> IdentityT w b

(.>) :: IdentityT w a -> IdentityT w b -> IdentityT w b

(<.) :: IdentityT w a -> IdentityT w b -> IdentityT w a

liftF2 :: (a -> b -> c) -> IdentityT w a -> IdentityT w b -> IdentityT w c

Traversable1 f => Traversable1 (IdentityT f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> IdentityT f a -> f0 (IdentityT f b)

sequence1 :: Apply f0 => IdentityT f (f0 b) -> f0 (IdentityT f b)

MonadManaged m => MonadManaged (IdentityT m)

Defined in Control.Monad.Managed

Methods

using :: Managed a -> IdentityT m a

MonadCont m => MonadCont (IdentityT m)

Defined in Control.Monad.Cont.Class

Methods

callCC :: ((a -> IdentityT m b) -> IdentityT m a) -> IdentityT m a

Pointed m => Pointed (IdentityT m)

Defined in Data.Pointed

Methods

point :: a -> IdentityT m a

Copointed m => Copointed (IdentityT m)

Defined in Data.Copointed

Methods

copoint :: IdentityT m a -> a

PrimBase m => PrimBase (IdentityT m)

Since: primitive-0.6.2.0

Defined in Control.Monad.Primitive

Methods

internal :: IdentityT m a -> State# (PrimState (IdentityT m)) -> (#State# (PrimState (IdentityT m)), a#)

MonadUnliftIO m => MonadUnliftIO (IdentityT m)

Defined in Control.Monad.IO.Unlift

Methods

askUnliftIO :: IdentityT m (UnliftIO (IdentityT m))

withRunInIO :: ((forall a. IdentityT m a -> IO a) -> IO b) -> IdentityT m b

Foldable1 m => Foldable1 (IdentityT m)

Defined in Data.Semigroup.Foldable.Class

Methods

fold1 :: Semigroup m0 => IdentityT m m0 -> m0

foldMap1 :: Semigroup m0 => (a -> m0) -> IdentityT m a -> m0

toNonEmpty :: IdentityT m a -> NonEmpty a

Plus f => Plus (IdentityT f)

Defined in Data.Functor.Plus

Methods

zero :: IdentityT f a

Alt f => Alt (IdentityT f)

Defined in Data.Functor.Alt

Methods

(<!>) :: IdentityT f a -> IdentityT f a -> IdentityT f a

some :: Applicative (IdentityT f) => IdentityT f a -> IdentityT f [a]

many :: Applicative (IdentityT f) => IdentityT f a -> IdentityT f [a]

Bind m => Bind (IdentityT m)

Defined in Data.Functor.Bind.Class

Methods

(>>-) :: IdentityT m a -> (a -> IdentityT m b) -> IdentityT m b

join :: IdentityT m (IdentityT m a) -> IdentityT m a

Extend w => Extend (IdentityT w)

Defined in Data.Functor.Extend

Methods

duplicated :: IdentityT w a -> IdentityT w (IdentityT w a)

extended :: (IdentityT w a -> b) -> IdentityT w a -> IdentityT w b

Zoom m n s t => Zoom (IdentityT m) (IdentityT n) s t

Defined in Control.Lens.Zoom

Methods

zoom :: LensLike' (Zoomed (IdentityT m) c) t s -> IdentityT m c -> IdentityT n c

Magnify m n b a => Magnify (IdentityT m) (IdentityT n) b a

Defined in Control.Lens.Zoom

Methods

magnify :: LensLike' (Magnified (IdentityT m) c) a b -> IdentityT m c -> IdentityT n c

(Eq1 f, Eq a) => Eq (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

(==) :: IdentityT f a -> IdentityT f a -> Bool

(/=) :: IdentityT f a -> IdentityT f a -> Bool

(Ord1 f, Ord a) => Ord (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

compare :: IdentityT f a -> IdentityT f a -> Ordering

(<) :: IdentityT f a -> IdentityT f a -> Bool

(<=) :: IdentityT f a -> IdentityT f a -> Bool

(>) :: IdentityT f a -> IdentityT f a -> Bool

(>=) :: IdentityT f a -> IdentityT f a -> Bool

max :: IdentityT f a -> IdentityT f a -> IdentityT f a

min :: IdentityT f a -> IdentityT f a -> IdentityT f a

(Read1 f, Read a) => Read (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

readsPrec :: Int -> ReadS (IdentityT f a)

readList :: ReadS [IdentityT f a]

readPrec :: ReadPrec (IdentityT f a)

readListPrec :: ReadPrec [IdentityT f a]

(Show1 f, Show a) => Show (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

showsPrec :: Int -> IdentityT f a -> ShowS

show :: IdentityT f a -> String

showList :: [IdentityT f a] -> ShowS

Wrapped (IdentityT m a)

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (IdentityT m a) :: *

Methods

_Wrapped' :: Iso' (IdentityT m a) (Unwrapped (IdentityT m a))

t ~ IdentityT n b => Rewrapped (IdentityT m a) t

Defined in Control.Lens.Wrapped

type Rep (IdentityT m)

Defined in Data.Functor.Rep

type Rep (IdentityT m) = Rep m

type Zoomed (IdentityT m)

Defined in Control.Lens.Zoom

type Zoomed (IdentityT m) = Zoomed m

type Magnified (IdentityT m)

Defined in Control.Lens.Zoom

type Magnified (IdentityT m) = Magnified m

type PrimState (IdentityT m)

Defined in Control.Monad.Primitive

type PrimState (IdentityT m) = PrimState m

type Unwrapped (IdentityT m a)

Defined in Control.Lens.Wrapped

type Unwrapped (IdentityT m a) = m a

mapIdentityT :: (m a -> n b) -> IdentityT m a -> IdentityT n b

Lift a unary operation to the new monad.

generalize :: Monad m => Identity a -> m a

A function that generalizes the Identity base monad to be any monad.