DeepControl.Monad.Trans

Level-1

trans-lift

class MonadTrans t

liftT

liftTT

liftTTT

liftTTTT

liftTTTTT

trans-down

class MonadTransDown t1

type M t1

trans-cover

class MonadTransCover t1

other

class MonadTrans_ t

Level-2

trans-lift

class MonadTrans2 t

liftTT2

liftTTT2

liftTTTT2

liftTTTTT2

trans-down

class MonadTrans2Down t2

type M_ t2

type T_ t2

trans-fold

class MonadTransFold2 t

trans-cover

class MonadTransCover2 t2

(|**|)

other

trans2

untrans2

Level-3

trans-lift

class MonadTrans3 t

liftTT3

liftTTT3

liftTTTT3

liftTTTTT3

trans-down

class MonadTrans3Down t3

type M__ t3

type T__ t3

trans-fold

class MonadTransFold3 t

trans-cover

class MonadTransCover3 t3

(|***|)

(|-**|)

(|*-*|)

(|**-|)

other

trans3

untrans3

Level-4

trans-lift

class MonadTrans4 t

trans-down

class MonadTrans4Down t4

type M___ t4

type T___ t4

type T2__ t4

trans-fold

class MonadTransFold4 t

trans-cover

class MonadTransCover4 t4

(|****|)

(|--**|)

(|-*-*|)

(|-**-|)

(|*-*-|)

(|**--|)

(|*--*|)

(|-***|)

(|*-**|)

(|**-*|)

(|***-|)

other

trans4

untrans4

Level-5

trans-lift

class MonadTrans5 t

trans-down

class MonadTrans5Down t5

type M____ t5

type T____ t5

type T2___ t5

type T3___ t5

trans-fold

class MonadTransFold5 t

trans-cover

class MonadTransCover5 t5

(|---**|)

(|--*-*|)

(|-*--*|)

(|*---*|)

(|*--*-|)

(|*-*--|)

(|**---|)

(|--***|)

(|-*-**|)

(|*--**|)

(|*-*-*|)

(|**--*|)

(|**-*-|)

(|***--|)

(|-****|)

(|*-***|)

(|**-**|)

(|***-*|)

(|****-|)

other

trans5

untrans5

MonadIO

class MonadIO m

Level-2 example

Level-2 example2