DeepControl.Monad.Trans

MonadIO

class MonadIO m

MonadTrans

Level-1

class MonadTrans t

class MonadTransDown t1

type M t1

cover functions

class MonadTransCover t1

other

class MonadTrans_ t1

Level-2

class MonadTrans2 t

class MonadTrans2Down t2

type M_ t2

type T_ t2

fold functions

class MonadTransFold2 t

cover functions

class MonadTransCover2 t2

(|**|)

other

trans2

untrans2

Level-3

class MonadTrans3 t

class MonadTrans3Down t3

type M__ t3

type T__ t3

fold functions

class MonadTransFold3 t

cover functions

class MonadTransCover3 t3

(|***|)

(|-**|)

(|*-*|)

(|**-|)

other

trans3

untrans3

Level-4

class MonadTrans4 t

Level-5

class MonadTrans5 t

Level-2 example

Level-2 example2