package General

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