With_elt (Elt) demotes this S1_container to a S0_container by fixing the element type to that mentioned in Elt.
include Types_intf.S0 with type t := Elt.t I.t with type elt := Elt.tinclude Generic_container with type 'a t := Elt.t I.t and type 'a elt := Elt.tinclude Types_intf.Generic
with type 'a t := Elt.t I.t
with type 'a elt := Elt.tmodule On_monad
(M : Base.Monad.S) :
Generic_on_monad
with type 'a t := Elt.t I.t
and type 'a elt := 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 := Elt.t I.t
and type 'a elt := Elt.tWe can do non-monadic mapping operations.
include Mappable.Generic with type 'a t := Elt.t I.t and type 'a elt := 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 := Elt.t I.t
with type 'a elt := 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 := Elt.t I.t
and type 'a elt := Elt.t
and module M := Base.Or_errorWith_errors specialises On_monad to the error monad.
include Mappable.S0_container with type t := Elt.t I.t and type elt := Elt.tinclude Mappable.S0 with type t := Elt.t I.t with type elt := Elt.tinclude Types_intf.S0 with type t := Elt.t I.t with type elt := Elt.tinclude Mappable.Generic with type 'a t := Elt.t I.t and type 'a elt := 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 := Elt.t I.t
with type 'a elt := Elt.tinclude Base.Container.S0 with type t := Elt.t I.t and type elt := Elt.tval mem : Elt.t I.t -> Elt.t -> boolval length : Elt.t I.t -> intval is_empty : Elt.t I.t -> boolval iter : Elt.t I.t -> f:(Elt.t -> unit) -> unitval fold : Elt.t I.t -> init:'accum -> f:('accum -> Elt.t -> 'accum) -> 'accumval fold_result :
Elt.t I.t ->
init:'accum ->
f:('accum -> Elt.t -> ('accum, 'e) Base__.Result.t) ->
('accum, 'e) Base__.Result.tval fold_until :
Elt.t I.t ->
init:'accum ->
f:
('accum ->
Elt.t ->
('accum, 'final) Base__.Container_intf.Continue_or_stop.t) ->
finish:('accum -> 'final) ->
'finalval exists : Elt.t I.t -> f:(Elt.t -> bool) -> boolval for_all : Elt.t I.t -> f:(Elt.t -> bool) -> boolval count : Elt.t I.t -> f:(Elt.t -> bool) -> intval sum :
(module Base__.Commutative_group.S with type t = 'sum) ->
Elt.t I.t ->
f:(Elt.t -> 'sum) ->
'sumval find : Elt.t I.t -> f:(Elt.t -> bool) -> Elt.t optionval find_map : Elt.t I.t -> f:(Elt.t -> 'a option) -> 'a optionval to_list : Elt.t I.t -> Elt.t listval to_array : Elt.t I.t -> Elt.t arrayval min_elt : Elt.t I.t -> compare:(Elt.t -> Elt.t -> int) -> Elt.t optionval max_elt : Elt.t I.t -> compare:(Elt.t -> Elt.t -> int) -> Elt.t option