Bi_traversable_types.S1_left
S1_left
is the full signature of an arity-1 bi-traversable type with a floating left type and fixed right type.
Functions traversing over arity-1 types may change the left element type, but not the right.
include Generic_types.Bi_left
include Generic
with type ('l, 'r) t := 'l t
and type 'l left := 'l
and type 'r right := right
We can do non-monadic bi-mapping operations.
module On
(M : Base.Applicative.S) :
Generic_on_applicative
with type ('l, 'r) t := 'l t
and type 'l left := 'l
and type 'r right := right
and module M := M
On
implements bi-traversal operators for a given applicative functor M
.
module On_monad
(M : Base.Monad.S) :
Generic_on_applicative
with type ('l, 'r) t := 'l t
and type 'l left := 'l
and type 'r right := right
and module M := Monad_exts.App(M)
On_monad
implements bi-traversal operators for a given monad M
.