package grenier

  1. Overview
  2. Docs
package grenier
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
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