DeepControl.Monad.Trans.Identity

Level-1

Level-2

data IdentityT2 f1 f2 a

lift functions

mapIdentityT2

liftCallCC2

liftCatch2

Level-3

data IdentityT3 f1 f2 f3 a

lift functions

mapIdentityT3

liftCallCC3

liftCatch3

Level-4

data IdentityT4 f1 f2 f3 f4 a

lift functions

mapIdentityT4

liftCallCC4

liftCatch4

Level-5

data IdentityT5 f1 f2 f3 f4 f5 a

lift functions

mapIdentityT5

liftCallCC5

liftCatch5