DeepControl.Monad.Trans.Identity

Level-1

Level-1

identity-cover

(*:)

Level-2

data IdentityT2 f1 f2 a

identity-cover

(**:)

(-*:)

(*-:)

identity-roll

transfoldI2

untransfoldI2

lift

mapIdentityT2

liftCallCC2

liftCatch2

Level-3

data IdentityT3 f1 f2 f3 a

identity-cover

(***:)

(--*:)

(-*-:)

(*--:)

(-**:)

(*-*:)

(**-:)

identity-roll

transfoldI3

untransfoldI3

lift

mapIdentityT3

liftCallCC3

liftCatch3

Level-4

data IdentityT4 f1 f2 f3 f4 a

identity-cover

(****:)

(---*:)

(--*-:)

(-*--:)

(*---:)

(--**:)

(-*-*:)

(*--*:)

(*-*-:)

(-**-:)

(**--:)

(-***:)

(*-**:)

(**-*:)

(***-:)

identity-roll

transfoldI4

untransfoldI4

lift

mapIdentityT4

liftCallCC4

liftCatch4

Level-5

data IdentityT5 f1 f2 f3 f4 f5 a

identity-cover

(*****:)

(----*:)

(---*-:)

(--*--:)

(-*---:)

(*----:)

(---**:)

(--*-*:)

(-*--*:)

(*---*:)

(*--*-:)

(-*-*-:)

(--**-:)

(-**--:)

(*-*--:)

(**---:)

(--***:)

(-*-**:)

(*--**:)

(*-*-*:)

(-**-*:)

(**--*:)

(**-*-:)

(*-**-:)

(-***-:)

(***--:)

(-****:)

(*-***:)

(**-**:)

(***-*:)

(****-:)

identity-roll

transfoldI5

untransfoldI5

lift

mapIdentityT5

liftCallCC5

liftCatch5

Example: identity-cover