MonadTrans
(
IdentityT
:: (
Type
->
Type
) ->
Type
->
Type
)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Monad
m =>
Monad
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Functor
m =>
Functor
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadFix
m =>
MonadFix
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadFail
m =>
MonadFail
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Applicative
m =>
Applicative
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Foldable
f =>
Foldable
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Traversable
f =>
Traversable
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Contravariant
f =>
Contravariant
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Eq1
f =>
Eq1
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Ord1
f =>
Ord1
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Read1
f =>
Read1
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Show1
f =>
Show1
(
IdentityT
f)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadZip
m =>
MonadZip
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadIO
m =>
MonadIO
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
Alternative
m =>
Alternative
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
MonadPlus
m =>
MonadPlus
(
IdentityT
m)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Eq1
f,
Eq
a) =>
Eq
(
IdentityT
f a)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Ord1
f,
Ord
a) =>
Ord
(
IdentityT
f a)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Read1
f,
Read
a) =>
Read
(
IdentityT
f a)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|
(
Show1
f,
Show
a) =>
Show
(
IdentityT
f a)
Source
#
|
|
Instance details
Defined in
Control.Monad.Trans.Identity
|