DeepControl.Monad

Level-0

bind

(-<)

(>-)

composite

(>->)

(<-<)

Level-2

bind

class Monad2 m2

sequence

(>>~)

bind-cover

(>-==)

(->==)

sequence-cover

(>-~)

(->~)

composite

(>==>)

Level-3

bind

class Monad3 m3

sequence

(>>>~)

bind-cover

(>>-==)

(->>==)

(>->==)

(>--==)

(->-==)

(-->==)

sequence-cover

(>--~)

(->-~)

(-->~)

(>>-~)

(->>~)

(>->~)

composite

(>===>)

Level-4

bind

class Monad4 m4

sequence

(>>>>~)

bind-cover

(--->==)

(-->-==)

(->--==)

(>---==)

(-->>==)

(->->==)

(>-->==)

(>->-==)

(->>-==)

(>>--==)

(->>>==)

(>->>==)

(>>->==)

(>>>-==)

sequence-cover

(--->~)

(-->-~)

(->--~)

(>---~)

(-->>~)

(->->~)

(>-->~)

(>->-~)

(->>-~)

(>>--~)

(->>>~)

(>->>~)

(>>->~)

(>>>-~)

composite

(>====>)

Level-5

bind

class Monad5 m5

sequence

(>>>>>~)

bind-cover

(---->==)

(--->-==)

(-->--==)

(->---==)

(>----==)

(--->>==)

(-->->==)

(->-->==)

(>--->==)

(>-->-==)

(->->-==)

(-->>-==)

(->>--==)

(>->--==)

(>>---==)

(-->>>==)

(->->>==)

(>-->>==)

(>->->==)

(->>->==)

(>>-->==)

(>>->-==)

(>->>-==)

(->>>-==)

(>>>--==)

(->>>>==)

(>->>>==)

(>>->>==)

(>>>->==)

(>>>>-==)

sequence-cover

(---->~)

(--->-~)

(-->--~)

(->---~)

(>----~)

(--->>~)

(-->->~)

(->-->~)

(>--->~)

(>-->-~)

(->->-~)

(-->>-~)

(->>--~)

(>->--~)

(>>---~)

(-->>>~)

(->->>~)

(>-->>~)

(>->->~)

(->>->~)

(>>-->~)

(>>->-~)

(>->>-~)

(->>>-~)

(>>>--~)

(->>>>~)

(>->>>~)

(>>->>~)

(>>>->~)

(>>>>-~)

composite

(>=====>)