package batteries

  1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a monoid = {
  1. zero : 'a;
  2. combine : 'a -> 'a -> 'a;
}
exception Empty
module type S = sig ... end
module Generic : sig ... end
type 'a t
type ('a, 'm) fg = 'a t
type (!'wrapped_type, 'a, 'm) wrap = 'wrapped_type
val empty : ('a, 'm) fg
val singleton : 'a -> ('a, 'm) fg
val cons : (('a, 'm) fg -> 'a -> ('a, 'm) fg, 'a, 'm) wrap
val snoc : (('a, 'm) fg -> 'a -> ('a, 'm) fg, 'a, 'm) wrap
val front : (('a, 'm) fg -> (('a, 'm) fg * 'a) option, 'a, 'm) wrap
val front_exn : (('a, 'm) fg -> ('a, 'm) fg * 'a, 'a, 'm) wrap
val head : ('a, 'm) fg -> 'a option
val head_exn : ('a, 'm) fg -> 'a
val last : ('a, 'm) fg -> 'a option
val last_exn : ('a, 'm) fg -> 'a
val tail : (('a, 'm) fg -> ('a, 'm) fg option, 'a, 'm) wrap
val tail_exn : (('a, 'm) fg -> ('a, 'm) fg, 'a, 'm) wrap
val init : (('a, 'm) fg -> ('a, 'm) fg option, 'a, 'm) wrap
val init_exn : (('a, 'm) fg -> ('a, 'm) fg, 'a, 'm) wrap
val rear : (('a, 'm) fg -> (('a, 'm) fg * 'a) option, 'a, 'm) wrap
val rear_exn : (('a, 'm) fg -> ('a, 'm) fg * 'a, 'a, 'm) wrap
val is_empty : ('a, 'm) fg -> bool
val fold_left : ('acc -> 'a -> 'acc) -> 'acc -> ('a, 'm) fg -> 'acc
val fold_right : ('acc -> 'a -> 'acc) -> 'acc -> ('a, 'm) fg -> 'acc
val iter : ('a -> unit) -> ('a, 'm) fg -> unit
val iter_right : ('a -> unit) -> ('a, 'm) fg -> unit
val compare : ('a -> 'a -> int) -> ('a, 'm) fg -> ('a, 'm) fg -> int
val equal : ('a -> 'a -> bool) -> ('a, 'm) fg -> ('a, 'm) fg -> bool
val enum : ('a, 'm) fg -> 'a BatEnum.t
val backwards : ('a, 'm) fg -> 'a BatEnum.t
val to_list : ('a, 'm) fg -> 'a list
val to_list_backwards : ('a, 'm) fg -> 'a list
val of_enum : ('a BatEnum.t -> ('a, 'm) fg, 'a, 'm) wrap
val of_backwards : ('a BatEnum.t -> ('a, 'm) fg, 'a, 'm) wrap
val of_list : ('a list -> ('a, 'm) fg, 'a, 'm) wrap
val of_list_backwards : ('a list -> ('a, 'm) fg, 'a, 'm) wrap
val map : (('a -> 'b) -> ('a, 'm) fg -> ('b, 'm) fg, 'b, 'm) wrap
val map_right : (('a -> 'b) -> ('a, 'm) fg -> ('b, 'm) fg, 'b, 'm) wrap
val append : (('a, 'm) fg -> ('a, 'm) fg -> ('a, 'm) fg, 'a, 'm) wrap
val reverse : (('a, 'm) fg -> ('a, 'm) fg, 'a, 'm) wrap
val print : ?first:string -> ?last:string -> ?sep:string -> ('a, 'b) BatIO.printer -> (('a, 'c) fg, 'b) BatIO.printer
val size : 'a t -> int
val split_at : 'a t -> int -> 'a t * 'a t
val get : 'a t -> int -> 'a
val set : 'a t -> int -> 'a -> 'a t
val update : 'a t -> int -> ('a -> 'a) -> 'a t
val of_list_for_test : 'a list -> 'a t
val verify_measure : 'a t -> 'a t
val invariants : 'a t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct