Make_gen (base.base.Base.Indexed_container.Make

Parameters

module T : sig ... end

Signature

include Container.Generic
  with type ('a, 'phantom1, 'phantom2) t := ('a, 'phantom1, 'phantom2) T.t
  with type 'a elt := 'a T.elt

Sourceval length : (_, _, _) T.t -> int

Sourceval is_empty : (_, _, _) T.t -> bool

Source

val mem : 
  ('a, _, _) T.t ->
  'a T.elt ->
  equal:('a T.elt -> 'a T.elt -> bool) ->
  bool

Sourceval iter : ('a, _, _) T.t -> f:('a T.elt -> unit) -> unit

Sourceval fold : ('a, _, _) T.t -> init:'acc -> f:('acc -> 'a T.elt -> 'acc) -> 'acc

Source

val fold_result : 
  ('a, _, _) T.t ->
  init:'acc ->
  f:('acc -> 'a T.elt -> ('acc, 'e) Result.t) ->
  ('acc, 'e) Result.t

Source

val fold_until : 
  ('a, _, _) T.t ->
  init:'acc ->
  f:('acc -> 'a T.elt -> ('acc, 'final) Container.Continue_or_stop.t) ->
  finish:('acc -> 'final) ->
  'final

Sourceval exists : ('a, _, _) T.t -> f:('a T.elt -> bool) -> bool

Sourceval for_all : ('a, _, _) T.t -> f:('a T.elt -> bool) -> bool

Sourceval count : ('a, _, _) T.t -> f:('a T.elt -> bool) -> int

Source

val sum : 
  (module Container.Summable with type t = 'sum) ->
  ('a, _, _) T.t ->
  f:('a T.elt -> 'sum) ->
  'sum

Sourceval find : ('a, _, _) T.t -> f:('a T.elt -> bool) -> 'a T.elt option

Sourceval find_map : ('a, _, _) T.t -> f:('a T.elt -> 'b option) -> 'b option

Sourceval to_list : ('a, _, _) T.t -> 'a T.elt list

Sourceval to_array : ('a, _, _) T.t -> 'a T.elt array

Source

val min_elt : 
  ('a, _, _) T.t ->
  compare:('a T.elt -> 'a T.elt -> int) ->
  'a T.elt option

Source

val max_elt : 
  ('a, _, _) T.t ->
  compare:('a T.elt -> 'a T.elt -> int) ->
  'a T.elt option

These are all like their equivalents in Container except that an index starting at 0 is added as the first argument to f.

Sourceval foldi : ('a, _, _) T.t -> init:_ -> f:(int -> _ -> 'a T.elt -> _) -> _

Sourceval iteri : ('a, _, _) T.t -> f:(int -> 'a T.elt -> unit) -> unit

Sourceval existsi : ('a, _, _) T.t -> f:(int -> 'a T.elt -> bool) -> bool

Sourceval for_alli : ('a, _, _) T.t -> f:(int -> 'a T.elt -> bool) -> bool

Sourceval counti : ('a, _, _) T.t -> f:(int -> 'a T.elt -> bool) -> int

Source

val findi : 
  ('a, _, _) T.t ->
  f:(int -> 'a T.elt -> bool) ->
  (int * 'a T.elt) option

Sourceval find_mapi : ('a, _, _) T.t -> f:(int -> 'a T.elt -> 'b option) -> 'b option