Travesty.Filter_mappable
Simultaneous mapping and filtering.
Filter_mappable
contains signatures and extensions for types that can be non-monadically mapped over, while simultaneously removing values.
For input and output module signatures for this module's functors, see Filter_mappable_types
.
module Make0
(F : Filter_mappable_types.Basic0) :
Filter_mappable_types.S0 with type t := F.t and type elt := F.elt
module Make1
(F : Filter_mappable_types.Basic1) :
Filter_mappable_types.S1 with type 'a t := 'a F.t
module To_mappable0
(F : Filter_mappable_types.Basic0) :
Mappable_types.S0 with type t := F.t and type elt := F.elt
To_mappable0
lowers a filter-mappable arity-0 type to a mappable one.
module To_mappable1
(F : Filter_mappable_types.Basic1) :
Mappable_types.S1 with type 'a t := 'a F.t
To_mappable1
lowers a filter-mappable arity-1 type to a mappable one.