Make_container0 makes a S0_container from a Basic_container0.
module I : Basic_container0include Types_intf.S0 with type t := I.t with type elt := I.Elt.tinclude Generic_container with type 'a t := I.t and type 'a elt := I.Elt.tinclude Types_intf.Generic with type 'a t := I.t with type 'a elt := I.Elt.tmodule On_monad
(M : Base.Monad.S) :
Generic_on_monad
with type 'a t := I.t
and type 'a elt := I.Elt.t
and module M := MOn_monad implements monadic traversal operators for a given monad M.
We can do generic container operations.
include Base.Container.Generic with type 'a t := I.t and type 'a elt := I.Elt.tWe can do non-monadic mapping operations.
include Mappable.Generic with type 'a t := I.t and type 'a elt := I.Elt.tGeneric 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 Types_intf.Generic with type 'a t := I.t with type 'a elt := I.Elt.tfold_map c ~f ~init folds f over every t in c, threading through an accumulator with initial value init.
mapi ~f t maps f across t, passing in an increasing position counter.
module With_errors :
Generic_on_monad
with type 'a t := I.t
and type 'a elt := I.Elt.t
and module M := Base.Or_errorWith_errors specialises On_monad to the error monad.
include Mappable.S0_container with type t := I.t and type elt := I.Elt.tinclude Mappable.S0 with type t := I.t with type elt := I.Elt.tinclude Types_intf.S0 with type t := I.t with type elt := I.Elt.tinclude Mappable.Generic with type 'a t := I.t and type 'a elt := I.Elt.tGeneric 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 Types_intf.Generic with type 'a t := I.t with type 'a elt := I.Elt.tinclude Base.Container.S0 with type t := I.t and type elt := I.Elt.tval mem : I.t -> I.Elt.t -> boolval length : I.t -> intval is_empty : I.t -> boolval iter : I.t -> f:(I.Elt.t -> unit) -> unitval fold : I.t -> init:'accum -> f:('accum -> I.Elt.t -> 'accum) -> 'accumval fold_result :
I.t ->
init:'accum ->
f:('accum -> I.Elt.t -> ('accum, 'e) Base__.Result.t) ->
('accum, 'e) Base__.Result.tval fold_until :
I.t ->
init:'accum ->
f:
('accum ->
I.Elt.t ->
('accum, 'final) Base__.Container_intf.Continue_or_stop.t) ->
finish:('accum -> 'final) ->
'finalval exists : I.t -> f:(I.Elt.t -> bool) -> boolval for_all : I.t -> f:(I.Elt.t -> bool) -> boolval count : I.t -> f:(I.Elt.t -> bool) -> intval sum :
(module Base__.Commutative_group.S with type t = 'sum) ->
I.t ->
f:(I.Elt.t -> 'sum) ->
'sumval find : I.t -> f:(I.Elt.t -> bool) -> I.Elt.t optionval find_map : I.t -> f:(I.Elt.t -> 'a option) -> 'a optionval to_list : I.t -> I.Elt.t listval to_array : I.t -> I.Elt.t arrayval min_elt : I.t -> compare:(I.Elt.t -> I.Elt.t -> int) -> I.Elt.t optionval max_elt : I.t -> compare:(I.Elt.t -> I.Elt.t -> int) -> I.Elt.t option