Bi_mappable.Chain_Map1_Bi2
Chain_Map1_Bi2 (LMap) (RMap) (Bi)
composes an inner arity-1 map LMap
on the left, and another such map RMap
on the right, of an arity-2 bi-traversal Bi
.
module LMap : Mappable_types.S1
module RMap : Mappable_types.S1
module Bi : Bi_mappable_types.Basic2
Type of containers.
include Bi_mappable_types.Generic
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
include Bi_mappable_types.Basic_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
include Generic_types.Bi_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
map_left c ~f
maps f
over the left type of c
only.