Bi_traversable_types.Basic_generic_on_applicative
Basic_generic_on_applicative
describes applicative bi-traversal on types of any arity.
('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 Generic_types.Bi_generic