package General

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