DeepControl.Monad.Trans.Identity

This module enables you to deal with deep monads in any monad-transformer.

Level-1

module Data.Functor.Identity

module Control.Monad.Trans.Identity

Level-2

newtype IdentityT2 f1 f2 a

Constructors

IdentityT2

Fields

runIdentityT2 :: f1 (f2 a)

Instances

MonadTransCover2 IdentityT2

MonadTransFold2 IdentityT2

MonadTrans2Down IdentityT2

MonadTrans2 IdentityT2

(Monad m1, Monad m2, Commutative m2) => Monad (IdentityT2 m1 m2)

(Functor f1, Functor f2) => Functor (IdentityT2 f1 f2)

(Applicative m1, Applicative m2) => Applicative (IdentityT2 m1 m2)

(Foldable f1, Foldable f2) => Foldable (IdentityT2 f1 f2)

(Traversable f1, Traversable f2) => Traversable (IdentityT2 f1 f2)

(Alternative m1, Alternative m2) => Alternative (IdentityT2 m1 m2)

(MonadPlus m1, Alternative m2, Monad m2, Commutative m2) => MonadPlus (IdentityT2 m1 m2)

(MonadIO m1, Monad m1, Monad m2, Commutative m2) => MonadIO (IdentityT2 m1 m2)

(Commutative f1, Commutative f2) => Commutative (IdentityT2 f1 f2)

Eq (f1 (f2 a)) => Eq (IdentityT2 f1 f2 a)

Ord (f1 (f2 a)) => Ord (IdentityT2 f1 f2 a)

Read (f1 (f2 a)) => Read (IdentityT2 f1 f2 a)

Show (f1 (f2 a)) => Show (IdentityT2 f1 f2 a)

type Trans2Down IdentityT2 = IdentityT

lift functions

mapIdentityT2 :: (m1 (m2 a) -> n1 (n2 b)) -> IdentityT2 m1 m2 a -> IdentityT2 n1 n2 b

liftCallCC2 :: CallCC2 m1 m2 a b -> CallCC (IdentityT2 m1 m2) a b

liftCatch2 :: Catch2 e m1 m2 a -> Catch e (IdentityT2 m1 m2) a

Level-3

newtype IdentityT3 f1 f2 f3 a

Constructors

IdentityT3

Fields

runIdentityT3 :: f1 (f2 (f3 a))

Instances

MonadTransCover3 IdentityT3

MonadTransFold3 IdentityT3

MonadTrans3Down IdentityT3

MonadTrans3 IdentityT3

(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3) => Monad (IdentityT3 m1 m2 m3)

(Functor f1, Functor f2, Functor f3) => Functor (IdentityT3 f1 f2 f3)

(Applicative m1, Applicative m2, Applicative m3) => Applicative (IdentityT3 m1 m2 m3)

(Foldable f1, Foldable f2, Foldable f3) => Foldable (IdentityT3 f1 f2 f3)

(Traversable f1, Traversable f2, Traversable f3) => Traversable (IdentityT3 f1 f2 f3)

(Alternative m1, Alternative m2, Alternative m3) => Alternative (IdentityT3 m1 m2 m3)

(MonadPlus m1, Alternative m2, Monad m2, Commutative m2, Alternative m3, Monad m3, Commutative m3) => MonadPlus (IdentityT3 m1 m2 m3)

(MonadIO m1, Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3) => MonadIO (IdentityT3 m1 m2 m3)

(Commutative f1, Commutative f2, Commutative f3) => Commutative (IdentityT3 f1 f2 f3)

Eq (f1 (f2 (f3 a))) => Eq (IdentityT3 f1 f2 f3 a)

Ord (f1 (f2 (f3 a))) => Ord (IdentityT3 f1 f2 f3 a)

Read (f1 (f2 (f3 a))) => Read (IdentityT3 f1 f2 f3 a)

Show (f1 (f2 (f3 a))) => Show (IdentityT3 f1 f2 f3 a)

type Trans3Down IdentityT3 = IdentityT2

lift functions

mapIdentityT3 :: (m1 (m2 (m3 a)) -> n1 (n2 (n3 b))) -> IdentityT3 m1 m2 m3 a -> IdentityT3 n1 n2 n3 b

liftCallCC3 :: CallCC3 m1 m2 m3 a b -> CallCC (IdentityT3 m1 m2 m3) a b

liftCatch3 :: Catch3 e m1 m2 m3 a -> Catch e (IdentityT3 m1 m2 m3) a

Level-4

newtype IdentityT4 f1 f2 f3 f4 a

Constructors

IdentityT4

Fields

runIdentityT4 :: f1 (f2 (f3 (f4 a)))

Instances

MonadTransCover4 IdentityT4

MonadTransFold4 IdentityT4

MonadTrans4Down IdentityT4

MonadTrans4 IdentityT4

(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4) => Monad (IdentityT4 m1 m2 m3 m4)

(Functor f1, Functor f2, Functor f3, Functor f4) => Functor (IdentityT4 f1 f2 f3 f4)

(Applicative m1, Applicative m2, Applicative m3, Applicative m4) => Applicative (IdentityT4 m1 m2 m3 m4)

(Foldable f1, Foldable f2, Foldable f3, Foldable f4) => Foldable (IdentityT4 f1 f2 f3 f4)

(Traversable f1, Traversable f2, Traversable f3, Traversable f4) => Traversable (IdentityT4 f1 f2 f3 f4)

(Alternative m1, Alternative m2, Alternative m3, Alternative m4) => Alternative (IdentityT4 m1 m2 m3 m4)

(MonadPlus m1, Alternative m2, Monad m2, Commutative m2, Alternative m3, Monad m3, Commutative m3, Alternative m4, Monad m4, Commutative m4) => MonadPlus (IdentityT4 m1 m2 m3 m4)

(MonadIO m1, Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4) => MonadIO (IdentityT4 m1 m2 m3 m4)

(Commutative f1, Commutative f2, Commutative f3, Commutative f4) => Commutative (IdentityT4 f1 f2 f3 f4)

Eq (f1 (f2 (f3 (f4 a)))) => Eq (IdentityT4 f1 f2 f3 f4 a)

Ord (f1 (f2 (f3 (f4 a)))) => Ord (IdentityT4 f1 f2 f3 f4 a)

Read (f1 (f2 (f3 (f4 a)))) => Read (IdentityT4 f1 f2 f3 f4 a)

Show (f1 (f2 (f3 (f4 a)))) => Show (IdentityT4 f1 f2 f3 f4 a)

type Trans4Down IdentityT4 = IdentityT3

lift functions

mapIdentityT4 :: (m1 (m2 (m3 (m4 a))) -> n1 (n2 (n3 (n4 b)))) -> IdentityT4 m1 m2 m3 m4 a -> IdentityT4 n1 n2 n3 n4 b

liftCallCC4 :: CallCC4 m1 m2 m3 m4 a b -> CallCC (IdentityT4 m1 m2 m3 m4) a b

liftCatch4 :: Catch4 e m1 m2 m3 m4 a -> Catch e (IdentityT4 m1 m2 m3 m4) a

Level-5

newtype IdentityT5 f1 f2 f3 f4 f5 a

Constructors

IdentityT5

Fields

runIdentityT5 :: f1 (f2 (f3 (f4 (f5 a))))

Instances

MonadTransCover5 IdentityT5

MonadTransFold5 IdentityT5

MonadTrans5Down IdentityT5

MonadTrans5 IdentityT5

(Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4, Monad m5, Commutative m5) => Monad (IdentityT5 m1 m2 m3 m4 m5)

(Functor f1, Functor f2, Functor f3, Functor f4, Functor f5) => Functor (IdentityT5 f1 f2 f3 f4 f5)

(Applicative m1, Applicative m2, Applicative m3, Applicative m4, Applicative m5) => Applicative (IdentityT5 m1 m2 m3 m4 m5)

(Foldable f1, Foldable f2, Foldable f3, Foldable f4, Foldable f5) => Foldable (IdentityT5 f1 f2 f3 f4 f5)

(Traversable f1, Traversable f2, Traversable f3, Traversable f4, Traversable f5) => Traversable (IdentityT5 f1 f2 f3 f4 f5)

(Alternative m1, Alternative m2, Alternative m3, Alternative m4, Alternative m5) => Alternative (IdentityT5 m1 m2 m3 m4 m5)

(MonadPlus m1, Alternative m2, Monad m2, Commutative m2, Alternative m3, Monad m3, Commutative m3, Alternative m4, Monad m4, Commutative m4, Alternative m5, Monad m5, Commutative m5) => MonadPlus (IdentityT5 m1 m2 m3 m4 m5)

(MonadIO m1, Monad m1, Monad m2, Commutative m2, Monad m3, Commutative m3, Monad m4, Commutative m4, Monad m5, Commutative m5) => MonadIO (IdentityT5 m1 m2 m3 m4 m5)

(Commutative f1, Commutative f2, Commutative f3, Commutative f4, Commutative f5) => Commutative (IdentityT5 f1 f2 f3 f4 f5)

Eq (f1 (f2 (f3 (f4 (f5 a))))) => Eq (IdentityT5 f1 f2 f3 f4 f5 a)

Ord (f1 (f2 (f3 (f4 (f5 a))))) => Ord (IdentityT5 f1 f2 f3 f4 f5 a)

Read (f1 (f2 (f3 (f4 (f5 a))))) => Read (IdentityT5 f1 f2 f3 f4 f5 a)

Show (f1 (f2 (f3 (f4 (f5 a))))) => Show (IdentityT5 f1 f2 f3 f4 f5 a)

type Trans5Down IdentityT5 = IdentityT4

lift functions

mapIdentityT5 :: (m1 (m2 (m3 (m4 (m5 a)))) -> n1 (n2 (n3 (n4 (n5 b))))) -> IdentityT5 m1 m2 m3 m4 m5 a -> IdentityT5 n1 n2 n3 n4 n5 b

liftCallCC5 :: CallCC5 m1 m2 m3 m4 m5 a b -> CallCC (IdentityT5 m1 m2 m3 m4 m5) a b

liftCatch5 :: Catch5 e m1 m2 m3 m4 m5 a -> Catch e (IdentityT5 m1 m2 m3 m4 m5) a