DeepControl.Monad.Trans

MonadIO

class MonadIO m

MonadTrans

Level-1

lift

class MonadTrans t

liftT

liftTT

liftTTT

liftTTTT

liftTTTTT

transdown

class MonadTransDown t1

type M t1

cover

class MonadTransCover t1

other

class MonadTrans_ t

Level-2

lift

class MonadTrans2 t

liftTT2

liftTTT2

liftTTTT2

liftTTTTT2

transdown

class MonadTrans2Down t2

type M_ t2

type T_ t2

fold

class MonadTransFold2 t

cover

class MonadTransCover2 t2

(|**|)

other

trans2

untrans2

Level-3

lift

class MonadTrans3 t

liftTT3

liftTTT3

liftTTTT3

liftTTTTT3

transdown

class MonadTrans3Down t3

type M__ t3

type T__ t3

fold

class MonadTransFold3 t

cover

class MonadTransCover3 t3

(|***|)

(|-**|)

(|*-*|)

(|**-|)

other

trans3

untrans3

Level-4

lift

class MonadTrans4 t

transdown

class MonadTrans4Down t4

type M___ t4

type T___ t4

type T2__ t4

fold

class MonadTransFold4 t

cover

class MonadTransCover4 t4

(|****|)

(|--**|)

(|-*-*|)

(|-**-|)

(|*-*-|)

(|**--|)

(|*--*|)

(|-***|)

(|*-**|)

(|**-*|)

(|***-|)

other

trans4

untrans4

Level-5

lift

class MonadTrans5 t

transdown

class MonadTrans5Down t5

type M____ t5

type T____ t5

type T2___ t5

type T3___ t5

fold

class MonadTransFold5 t

cover

class MonadTransCover5 t5

(|---**|)

(|--*-*|)

(|-*--*|)

(|*---*|)

(|*--*-|)

(|*-*--|)

(|**---|)

(|--***|)

(|-*-**|)

(|*--**|)

(|*-*-*|)

(|**--*|)

(|**-*-|)

(|***--|)

(|-****|)

(|*-***|)

(|**-**|)

(|***-*|)

(|****-|)

other

trans5

untrans5

Level-2 example

Level-2 example2