type Rep1 (IdentityT f :: k -> Type)
Instance details Defined in Control.Monad.Trans.Identity type Rep1 (IdentityT f :: k -> Type) = D1 ('MetaData "IdentityT" "Control.Monad.Trans.Identity" "transformers-0.6.1.0-inplace" 'True) (C1 ('MetaCons "IdentityT" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentityT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

Methods

from1 :: forall (a :: k). IdentityT f a -> Rep1 (IdentityT f) a #

to1 :: forall (a :: k). Rep1 (IdentityT f) a -> IdentityT f a #

MonadCatch e m => MonadCatch e (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

catch :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a Source #

MonadThrow e m => MonadThrow e (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

throw :: e -> IdentityT m a Source #

MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift Monad (IdentityT :: (Type -> Type) -> Type -> Type)) Source #

MonadTransCoerce (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

transCoerce :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). Coercible m1 m2 => Dict (Coercible (IdentityT m1) (IdentityT m2)) Source #

MonadTransHoist (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> IdentityT m1 --> IdentityT m2 Source #

MonadTransTunnel (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Associated Types

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type)
Instance details Defined in Control.Monad.Ology.Specific.IdentityT type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) = Identity

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => IdentityT m1 a -> m1 (Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) a)) -> m (Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) r)) -> IdentityT m r Source #

MonadTransUnlift (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (IdentityT :: (Type -> Type) -> Type -> Type) -> m r) -> IdentityT m r Source #

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift MonadTunnelIO (IdentityT :: (Type -> Type) -> Type -> Type)) Source #

MonadTrans (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

TransConstraint (MonadCatch e) (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (IdentityT m)) Source #

TransConstraint (MonadThrow e) (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (IdentityT m)) Source #

MonadFail m => MonadFail (IdentityT m)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

fail :: String -> IdentityT m a #

MonadFix m => MonadFix (IdentityT m)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

MonadIO m => MonadIO (IdentityT m)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

liftIO :: IO a -> IdentityT m a #

MonadZip m => MonadZip (IdentityT m)

Instance details

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

Foldable f => Foldable (IdentityT f)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

foldMap :: Monoid m => (a -> m) -> IdentityT f a -> 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 #

Foldable1 m => Foldable1 (IdentityT m)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

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

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

toNonEmpty :: IdentityT m a -> NonEmpty a #

maximum :: Ord a => IdentityT m a -> a #

minimum :: Ord a => IdentityT m a -> a #

head :: IdentityT m a -> a #

last :: IdentityT m a -> a #

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

foldlMap1' :: (a -> b) -> (b -> a -> b) -> IdentityT m a -> b #

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

foldrMap1' :: (a -> b) -> (a -> b -> b) -> IdentityT m a -> b #

Eq1 f => Eq1 (IdentityT f)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

Ord1 f => Ord1 (IdentityT f)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

Read1 f => Read1 (IdentityT f)

Instance details

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)

Instance details

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 #

Contravariant f => Contravariant (IdentityT f)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

contramap :: (a' -> a) -> IdentityT f a -> IdentityT f a' #

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

Traversable f => Traversable (IdentityT f)

Instance details

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)

Instance details

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] #

Applicative m => Applicative (IdentityT m)

Instance details

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 #

Functor m => Functor (IdentityT m)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

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

Monad m => Monad (IdentityT m)

Instance details

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 #

MonadPlus m => MonadPlus (IdentityT m)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

mzero :: IdentityT m a #

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

Invariant m => Invariant (IdentityT m)

from the transformers package

Instance details

Defined in Data.Functor.Invariant

Methods

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

MonadException m => MonadException (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Associated Types

type Exc (IdentityT m)
Instance details Defined in Control.Monad.Ology.Specific.IdentityT type Exc (IdentityT m) = Exc m

Methods

throwExc :: Exc (IdentityT m) -> IdentityT m a Source #

catchExc :: IdentityT m a -> (Exc (IdentityT m) -> IdentityT m a) -> IdentityT m a Source #

MonadExtract m => MonadExtract (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

mToValue :: Extract (IdentityT m) Source #

MonadIdentity m => MonadIdentity (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

MonadInner m => MonadInner (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

retrieveInner :: IdentityT m a -> Result (Exc (IdentityT m)) a Source #

MonadOuter m => MonadOuter (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

getExtract :: IdentityT m (WExtract (IdentityT m)) Source #

Lifting MonadFix (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadFix a :- MonadFix (IdentityT a) #

Lifting MonadIO (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadIO a :- MonadIO (IdentityT a) #

Lifting Foldable (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Foldable a :- Foldable (IdentityT a) #

Lifting Eq1 (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Eq1 a :- Eq1 (IdentityT a) #

Lifting Ord1 (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Ord1 a :- Ord1 (IdentityT a) #

Lifting Read1 (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Read1 a :- Read1 (IdentityT a) #

Lifting Show1 (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Show1 a :- Show1 (IdentityT a) #

Lifting Traversable (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Traversable a :- Traversable (IdentityT a) #

Lifting Alternative (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Alternative a :- Alternative (IdentityT a) #

Lifting Applicative (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Applicative a :- Applicative (IdentityT a) #

Lifting Functor (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Functor a :- Functor (IdentityT a) #

Lifting Monad (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). Monad a :- Monad (IdentityT a) #

Lifting MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadPlus a :- MonadPlus (IdentityT a) #

Lifting MonadCont (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadCont a :- MonadCont (IdentityT a) #

Lifting (MonadError e :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadError e a :- MonadError e (IdentityT a) #

Lifting (MonadReader r :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadReader r a :- MonadReader r (IdentityT a) #

Lifting (MonadState s :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadState s a :- MonadState s (IdentityT a) #

Lifting (MonadRWS r w s :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type)

Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: Type -> Type). MonadRWS r w s a :- MonadRWS r w s (IdentityT a) #

Generic (IdentityT f a)

Instance details

Defined in Control.Monad.Trans.Identity

Associated Types

type Rep (IdentityT f a)
Instance details Defined in Control.Monad.Trans.Identity type Rep (IdentityT f a) = D1 ('MetaData "IdentityT" "Control.Monad.Trans.Identity" "transformers-0.6.1.0-inplace" 'True) (C1 ('MetaCons "IdentityT" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentityT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

Methods

from :: IdentityT f a -> Rep (IdentityT f a) x #

to :: Rep (IdentityT f a) x -> IdentityT f a #

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

Instance details

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)

Instance details

Defined in Control.Monad.Trans.Identity

Methods

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

show :: IdentityT f a -> String #

showList :: [IdentityT f a] -> ShowS #

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

Instance details

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)

Instance details

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 #

type Rep1 (IdentityT f :: k -> Type)

Instance details

Defined in Control.Monad.Trans.Identity

type Rep1 (IdentityT f :: k -> Type) = D1 ('MetaData "IdentityT" "Control.Monad.Trans.Identity" "transformers-0.6.1.0-inplace" 'True) (C1 ('MetaCons "IdentityT" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentityT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) = Identity

type Exc (IdentityT m) Source #

Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

type Exc (IdentityT m) = Exc m

type Rep (IdentityT f a)

Instance details

Defined in Control.Monad.Trans.Identity

type Rep (IdentityT f a) = D1 ('MetaData "IdentityT" "Control.Monad.Trans.Identity" "transformers-0.6.1.0-inplace" 'True) (C1 ('MetaCons "IdentityT" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentityT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

mapIdentityT :: forall {k1} {k2} m (a :: k1) n (b :: k2). (m a -> n b) -> IdentityT m a -> IdentityT n b #

Lift a unary operation to the new monad.

identityWUnlift :: forall (c :: (Type -> Type) -> Constraint). WUnlift c (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Orphan instances

TransConstraint MonadFail (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (IdentityT m)) Source #

TransConstraint MonadFix (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (IdentityT m)) Source #

TransConstraint MonadIO (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (IdentityT m)) Source #

TransConstraint Applicative (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (IdentityT m)) Source #

TransConstraint Functor (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (IdentityT m)) Source #

TransConstraint Monad (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (IdentityT m)) Source #

TransConstraint MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (IdentityT m)) Source #

TransConstraint MonadException (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (IdentityT m)) Source #

TransConstraint MonadExtract (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (IdentityT m)) Source #

TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (IdentityT m)) Source #

TransConstraint MonadInner (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (IdentityT m)) Source #

TransConstraint MonadOuter (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadOuter m => Dict (MonadOuter (IdentityT m)) Source #

MonadCatch e m => MonadCatch e (IdentityT m) Source #

Instance details

Methods

catch :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a Source #

MonadThrow e m => MonadThrow e (IdentityT m) Source #

Instance details

Methods

throw :: e -> IdentityT m a Source #

MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift Monad (IdentityT :: (Type -> Type) -> Type -> Type)) Source #

MonadTransCoerce (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

transCoerce :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). Coercible m1 m2 => Dict (Coercible (IdentityT m1) (IdentityT m2)) Source #

MonadTransHoist (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> IdentityT m1 --> IdentityT m2 Source #

MonadTransTunnel (IdentityT :: (Type -> Type) -> Type -> Type) Source #

Instance details

Associated Types

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type)
Instance details Defined in Control.Monad.Ology.Specific.IdentityT type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) = Identity