DeepControl.Monad.Signatures

Level-1

Level-2

type CallCC2 m1 m2 a b

type Catch2 e m1 m2 a

type Listen2 w m1 m2 a

type Pass2 w m1 m2 a

Level-3

type CallCC3 m1 m2 m3 a b

type Catch3 e m1 m2 m3 a

type Listen3 w m1 m2 m3 a

type Pass3 w m1 m2 m3 a

Level-4

type CallCC4 m1 m2 m3 m4 a b

type Catch4 e m1 m2 m3 m4 a

type Listen4 w m1 m2 m3 m4 a

type Pass4 w m1 m2 m3 m4 a

Level-5

type CallCC5 m1 m2 m3 m4 m5 a b

type Catch5 e m1 m2 m3 m4 m5 a

type Listen5 w m1 m2 m3 m4 m5 a

type Pass5 w m1 m2 m3 m4 m5 a