package General

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module A : sig ... end

Signature

type t = A.t list
module O : sig ... end
val empty : t
val singleton : A.t -> t
val of_list : A.t list -> t
val to_list : t -> A.t list
val of_array : A.t array -> t
val to_array : t -> A.t array
val size : t -> int
val is_empty : t -> bool
val head : t -> A.t
val tail : t -> t
val try_head : t -> A.t option
val try_tail : t -> t option
val prepend : A.t -> t -> t
val reverse : t -> t
val concat : t -> t -> t
include Traits.FilterMapable.S0 with type elt := A.t and type t := t
val map : t -> f:(A.t -> A.t) -> t
val map_i : t -> f:(i:int -> A.t -> A.t) -> t
val map_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * A.t) -> t
val filter : t -> f:(A.t -> bool) -> t
val filter_i : t -> f:(i:int -> A.t -> bool) -> t
val filter_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * bool) -> t
val filter_map : t -> f:(A.t -> A.t option) -> t
val filter_map_i : t -> f:(i:int -> A.t -> A.t option) -> t
val filter_map_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * A.t option) -> t
val flat_map : t -> f:(A.t -> t) -> t
val flat_map_i : t -> f:(i:int -> A.t -> t) -> t
val flat_map_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * t) -> t
include Traits.Foldable.S0 with type elt := A.t and type t := t
include Traits.Foldable.Basic.S0 with type elt := A.t with type t := t
val fold : init:'b -> t -> f:('b -> A.t -> 'b) -> 'b
val fold_i : init:'b -> t -> f:(i:int -> 'b -> A.t -> 'b) -> 'b
val fold_acc : acc:'acc -> init:'b -> t -> f:(acc:'acc -> 'b -> A.t -> 'acc * 'b) -> 'b
val reduce : t -> f:(A.t -> A.t -> A.t) -> A.t
val reduce_i : t -> f:(i:int -> A.t -> A.t -> A.t) -> A.t
val reduce_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> A.t -> 'acc * A.t) -> A.t
val try_reduce : t -> f:(A.t -> A.t -> A.t) -> A.t option
val try_reduce_i : t -> f:(i:int -> A.t -> A.t -> A.t) -> A.t option
val try_reduce_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> A.t -> 'acc * A.t) -> A.t option
val iter : t -> f:(A.t -> unit) -> unit
val iter_i : t -> f:(i:int -> A.t -> unit) -> unit
val iter_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc) -> unit
val count : t -> f:(A.t -> bool) -> int
val count_i : t -> f:(i:int -> A.t -> bool) -> int
val count_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * bool) -> int
include Traits.Foldable.Short.S0 with type elt := A.t and type t := t
include Traits.Foldable.Short.Basic.S0 with type elt := A.t with type t := t
val fold_short : init:'b -> t -> f:('b -> A.t -> Shorten.t * 'b) -> 'b
val fold_short_i : init:'b -> t -> f:(i:int -> 'b -> A.t -> Shorten.t * 'b) -> 'b
val fold_short_acc : acc:'acc -> init:'b -> t -> f:(acc:'acc -> 'b -> A.t -> 'acc * Shorten.t * 'b) -> 'b
val reduce_short : t -> f:(A.t -> A.t -> Shorten.t * A.t) -> A.t
val reduce_short_i : t -> f:(i:int -> A.t -> A.t -> Shorten.t * A.t) -> A.t
val reduce_short_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> A.t -> 'acc * Shorten.t * A.t) -> A.t
val try_reduce_short : t -> f:(A.t -> A.t -> Shorten.t * A.t) -> A.t option
val try_reduce_short_i : t -> f:(i:int -> A.t -> A.t -> Shorten.t * A.t) -> A.t option
val try_reduce_short_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> A.t -> 'acc * Shorten.t * A.t) -> A.t option
val iter_short : t -> f:(A.t -> Shorten.t) -> unit
val iter_short_i : t -> f:(i:int -> A.t -> Shorten.t) -> unit
val iter_short_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * Shorten.t) -> unit
val for_all : t -> f:(A.t -> bool) -> bool
val for_all_i : t -> f:(i:int -> A.t -> bool) -> bool
val for_all_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * bool) -> bool
val there_exists : t -> f:(A.t -> bool) -> bool
val there_exists_i : t -> f:(i:int -> A.t -> bool) -> bool
val there_exists_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * bool) -> bool
val find : t -> f:(A.t -> bool) -> A.t
val find_i : t -> f:(i:int -> A.t -> bool) -> A.t
val find_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * bool) -> A.t
val try_find : t -> f:(A.t -> bool) -> A.t option
val try_find_i : t -> f:(i:int -> A.t -> bool) -> A.t option
val try_find_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * bool) -> A.t option
val find_map : t -> f:(A.t -> 'b option) -> 'b
val find_map_i : t -> f:(i:int -> A.t -> 'b option) -> 'b
val find_map_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * 'b option) -> 'b
val try_find_map : t -> f:(A.t -> 'b option) -> 'b option
val try_find_map_i : t -> f:(i:int -> A.t -> 'b option) -> 'b option
val try_find_map_acc : acc:'acc -> t -> f:(acc:'acc -> A.t -> 'acc * 'b option) -> 'b option
include Traits.Scanable.S0 with type elt := A.t and type t := t
val scan : init:A.t -> t -> f:(A.t -> A.t -> A.t) -> t
val scan_i : init:A.t -> t -> f:(i:int -> A.t -> A.t -> A.t) -> t
val scan_acc : acc:'acc -> init:A.t -> t -> f:(acc:'acc -> A.t -> A.t -> 'acc * A.t) -> t
include Traits.Scanable.Short.S0 with type elt := A.t and type t := t
val scan_short : init:A.t -> t -> f:(A.t -> A.t -> Shorten.t * A.t) -> t
val scan_short_i : init:A.t -> t -> f:(i:int -> A.t -> A.t -> Shorten.t * A.t) -> t
val scan_short_acc : acc:'acc -> init:A.t -> t -> f:(acc:'acc -> A.t -> A.t -> 'acc * Shorten.t * A.t) -> t
module ToList : sig ... end