Filter_mappable_types.S0
Full signature of an arity-0 filter-mappable type.
Functions mapped over arity-0 types must preserve the element type.
include Generic with type ('a, 'phantom) t := t and type 'a elt := elt
Generic
strictly extends Generic_basic
.
include Generic_basic with type ('a, 'phantom) t := t with type 'a elt := elt
Generic_basic
refers to the container type as 'a t
, and the element type as 'a elt
; substitute t
/elt
(arity-0) or 'a t
/'a
(arity-1) accordingly below.
include Generic_types.Generic
with type ('a, 'phantom) t := t
with type 'a elt := elt
filter c ~f
checks f
over every t
in c
, discarding any items for which f
returns false
.
exclude c ~f
checks f
over every t
in c
, discarding any items for which f
returns true
.
We can also derive Mappable
interfaces from filter-mappable ones, but leave that to a separate functor.