package grenier

  1. Overview
  2. Docs
A collection of various algorithms in OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (6)

Authors

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Maintainers

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Sources

grenier-0.14.tbz
sha256=e5362e6ad0e888526517415e78b9e8243bb0cc1b0c952201884148832ac4442f
sha512=4e2f16b52b3c2786a1b8e93156184fd69d448cea571ca839b6cb88ab73f380994d1561fe24c1523c43ed8fc42d2ac01b673a13b6151fff4af4f009923d3aaf37

doc/grenier.strong/Strong/Finite/Array/index.html

Module Finite.ArraySource

Sourcetype ('n, 'a) t = private 'a array
Sourcetype 'a _array =
  1. | A : ('n, 'a) t -> 'a _array
Sourceval empty : (Natural.zero, _) t
Sourceval is_empty : ('n, 'a) t -> (Natural.zero, 'n) eq option
Sourceval length : ('n, 'a) t -> 'n set
Sourceval get : ('n, 'a) t -> 'n elt -> 'a
Sourceval set : ('n, 'a) t -> 'n elt -> 'a -> unit
Sourceval make : 'n set -> 'a -> ('n, 'a) t
Sourceval init : 'n set -> ('n elt -> 'a) -> ('n, 'a) t
Sourceval make_matrix : 'i set -> 'j set -> 'a -> ('i, ('j, 'a) t) t
Sourceval append : ('n, 'a) t -> ('m, 'a) t -> (('n, 'm) Natural.sum, 'a) t
Sourceval of_array : 'a array -> 'a _array
Sourcemodule type T = sig ... end
Sourcemodule Of_array (A : sig ... end) : T with type a = A.a
Sourceval module_of_array : 'a array -> (module T with type a = 'a)
Sourceval to_array : ('n, 'a) t -> 'a array
Sourceval all_elements : 'n set -> ('n, 'n elt) t
Sourceval iter : ('a -> unit) -> (_, 'a) t -> unit
Sourceval iteri : ('n elt -> 'a -> unit) -> ('n, 'a) t -> unit
Sourceval rev_iter : ('a -> unit) -> (_, 'a) t -> unit
Sourceval rev_iteri : ('n elt -> 'a -> unit) -> ('n, 'a) t -> unit
Sourceval map : ('a -> 'b) -> ('n, 'a) t -> ('n, 'b) t
Sourceval mapi : ('n elt -> 'a -> 'b) -> ('n, 'a) t -> ('n, 'b) t
Sourceval fold_left : ('a -> 'b -> 'a) -> 'a -> ('n, 'b) t -> 'a
Sourceval fold_right : ('b -> 'a -> 'a) -> ('n, 'b) t -> 'a -> 'a
Sourceval iter2 : ('a -> 'b -> unit) -> ('n, 'a) t -> ('n, 'b) t -> unit
Sourceval map2 : ('a -> 'b -> 'c) -> ('n, 'a) t -> ('n, 'b) t -> ('n, 'c) t
Sourceval copy : ('n, 'a) t -> ('n, 'a) t