Source file array_intf.ml

open Base

(* Element interface. *)
module type Elt = sig
  type t

  val compare : t -> t -> int
  val name : string
  val to_string : t -> string

  (* [of_string str] is used when parsing csv files. *)
  val of_string : string -> t option
end

(* Arrays could be based on different storage types, e.g.
   array, bigarray, ...
*)
module type S = sig
  type t

  module Elt : Elt

  val create : Elt.t -> len:int -> t
  val copy : ?filter:Bool_array.t -> t -> t
  val of_array : Elt.t array -> t
  val length : t -> int
  val get : t -> int -> Elt.t
  val set : t -> int -> Elt.t -> unit
  val type_id : (t * Elt.t) Type_equal.Id.t
end

type ('a, 'b) t = (module S with type Elt.t = 'a and type t = 'b)
type packed = P : (_, _) t -> packed