Bi_traversable_types.Generic_on_applicative
Generic_on_applicative
extends Generic
to contain various derived operators; we use it to derive the signatures of the various On
modules.
('l, 'r) t
becomes t
, 'l left
becomes left
, and 'r right
becomes right
.('l, 'r) t
becomes 'l t
, 'l left
becomes 'l
, and 'r right
becomes right
.('l, 'r) t
becomes 'l t
, 'l left
becomes left
, and 'r right
becomes 'r
.('l, 'r) t
becomes ('l, 'r) t
, 'l left
becomes 'l
, and 'r right
becomes 'r
.include Basic_generic_on_applicative
include Generic_types.Bi_generic
map_left_m c ~f
monadically traverses over the left type of c
only, using f
.