package grenier

You can search for identifiers within the package.

in-package search v0.2.0

A collection of various algorithms in OCaml

Install

Dune Dependency

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

Authors

F

Frederic Bour <frederic.bour@lakaban.net>

Maintainers

F

Frederic Bour <frederic.bour@lakaban.net>

Sources

grenier-0.15.tbz

sha256=dec7f84b9e93d5825f10c7dea84d5a74d7365ede45664ae63c26b5e8045c1c44

sha512=b8aa1569c2e24b89674d1b34de34cd1798896bb6a53aa5a1287f68cee880125e6b687f66ad73da9069a01cc3ece1f0684f48328b099d43529bff736b772c8fd8

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

Module `Finite.Array`Source

Sourcetype ('n, 'a) t = private 'a array

Sourcetype 'a _array =

| 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