FunctorWithIndex
i m =>
FunctorWithIndex
i (
IdentityT
m)
|
|
Instance details
Defined in
WithIndex
|
FoldableWithIndex
i m =>
FoldableWithIndex
i (
IdentityT
m)
|
|
Instance details
Defined in
WithIndex
|
TraversableWithIndex
i m =>
TraversableWithIndex
i (
IdentityT
m)
|
|
Instance details
Defined in
WithIndex
|
ComonadTraced
m w =>
ComonadTraced
m (
IdentityT
w)
Source
#
|
|
Instance details
Defined in
Control.Comonad.Traced.Class
|
ComonadStore
s w =>
ComonadStore
s (
IdentityT
w)
Source
#
|
|
Instance details
Defined in
Control.Comonad.Store.Class
|
ComonadEnv
e w =>
ComonadEnv
e (
IdentityT
w)
Source
#
|
|
Instance details
Defined in
Control.Comonad.Env.Class
|
MonadTrans
(
IdentityT
:: (
Type
->
Type
) ->
Type
->
Type
)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
ComonadHoist
(
IdentityT
:: (
Type
->
Type
) ->
Type
->
Type
)
Source
#
|
|
Instance details
Defined in
Control.Comonad.Hoist.Class
|
ComonadTrans
(
IdentityT
:: (
Type
->
Type
) ->
Type
->
Type
)
Source
#
|
|
Instance details
Defined in
Control.Comonad.Trans.Class
|
Monad
m =>
Monad
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Functor
m =>
Functor
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadFix
m =>
MonadFix
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadFail
m =>
MonadFail
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Applicative
m =>
Applicative
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Foldable
f =>
Foldable
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Traversable
f =>
Traversable
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Contravariant
f =>
Contravariant
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Eq1
f =>
Eq1
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Ord1
f =>
Ord1
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Read1
f =>
Read1
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Show1
f =>
Show1
(
IdentityT
f)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadZip
m =>
MonadZip
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadIO
m =>
MonadIO
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Alternative
m =>
Alternative
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadPlus
m =>
MonadPlus
(
IdentityT
m)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Distributive
g =>
Distributive
(
IdentityT
g)
|
|
Instance details
Defined in
Data.Distributive
|
ComonadApply
w =>
ComonadApply
(
IdentityT
w)
Source
#
|
|
Instance details
Defined in
Control.Comonad
|
Comonad
w =>
Comonad
(
IdentityT
w)
Source
#
|
|
Instance details
Defined in
Control.Comonad
|
(
Eq1
f,
Eq
a) =>
Eq
(
IdentityT
f a)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Ord1
f,
Ord
a) =>
Ord
(
IdentityT
f a)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Read1
f,
Read
a) =>
Read
(
IdentityT
f a)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Show1
f,
Show
a) =>
Show
(
IdentityT
f a)
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|