DeepControl.Monad.Morph

SinkT

class SinkT s

sinkT2

sinkT3

sinkT4

Level-1

trans-map

(|>|)

(|<|)

trans-cover

(|*|)

trans-fish

(|>=>)

Level-2

trans-bind

(|>>=)

trans-fish

(|>>=>)

trans-map

(|>>|)

(|<<|)

trans-cover

(|**|)

(|-*|)

Level-3

trans-bind

(|>>>=)

trans-fish

(|>>>=>)

trans-map

(|>>>|)

(|<<<|)

trans-cover

(|***|)

(|--*|)

(|-**|)

(|*-*|)

Level-4

trans-bind

(|>>>>=)

trans-map

(|>>>>|)

(|<<<<|)

trans-cover

(|****|)

(|---*|)

(|--**|)

(|-*-*|)

(|*--*|)

(|-***|)

(|*-**|)

(|**-*|)

Level-5

trans-map

(|>>>>>|)

(|<<<<<|)

trans-cover

(|*****|)

(|----*|)

(|---**|)

(|--*-*|)

(|-*--*|)

(|*---*|)

(|--***|)

(|-*-**|)

(|*--**|)

(|*-*-*|)

(|-**-*|)

(|**--*|)

(|-****|)

(|*-***|)

(|**-**|)

(|***-*|)

Level-2 example: trans-map

Level-2 example: trans-cover and trans-bind