package General

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Basic.S0
type elt
type t
val fold_short : init:'b -> t -> f:('b -> elt -> Shorten.t * 'b) -> 'b
val fold_short_i : init:'b -> t -> f:(i:int -> 'b -> elt -> Shorten.t * 'b) -> 'b
val fold_short_acc : acc:'acc -> init:'b -> t -> f:(acc:'acc -> 'b -> elt -> 'acc * Shorten.t * 'b) -> 'b
val reduce_short : t -> f:(elt -> elt -> Shorten.t * elt) -> elt
val reduce_short_i : t -> f:(i:int -> elt -> elt -> Shorten.t * elt) -> elt
val reduce_short_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> elt -> 'acc * Shorten.t * elt) -> elt
val try_reduce_short : t -> f:(elt -> elt -> Shorten.t * elt) -> elt option
val try_reduce_short_i : t -> f:(i:int -> elt -> elt -> Shorten.t * elt) -> elt option
val try_reduce_short_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> elt -> 'acc * Shorten.t * elt) -> elt option
val iter_short : t -> f:(elt -> Shorten.t) -> unit
val iter_short_i : t -> f:(i:int -> elt -> Shorten.t) -> unit
val iter_short_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * Shorten.t) -> unit
val for_all : t -> f:(elt -> bool) -> bool
val for_all_i : t -> f:(i:int -> elt -> bool) -> bool
val for_all_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * bool) -> bool
val there_exists : t -> f:(elt -> bool) -> bool
val there_exists_i : t -> f:(i:int -> elt -> bool) -> bool
val there_exists_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * bool) -> bool
val find : t -> f:(elt -> bool) -> elt
val find_i : t -> f:(i:int -> elt -> bool) -> elt
val find_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * bool) -> elt
val try_find : t -> f:(elt -> bool) -> elt option
val try_find_i : t -> f:(i:int -> elt -> bool) -> elt option
val try_find_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * bool) -> elt option
val find_map : t -> f:(elt -> 'b option) -> 'b
val find_map_i : t -> f:(i:int -> elt -> 'b option) -> 'b
val find_map_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * 'b option) -> 'b
val try_find_map : t -> f:(elt -> 'b option) -> 'b option
val try_find_map_i : t -> f:(i:int -> elt -> 'b option) -> 'b option
val try_find_map_acc : acc:'acc -> t -> f:(acc:'acc -> elt -> 'acc * 'b option) -> 'b option