Module Core_kernel.Option_array

This module extends Base.Option_array with bin_io.

type 'a t = 'a Base.Option_array.t
include Bin_prot.Binable.S1 with type 'a t := 'a t
type 'a t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_t : ('a'a t) Bin_prot.Size.sizer1
val bin_write_t : ('a'a t) Bin_prot.Write.writer1
val bin_read_t : ('a'a t) Bin_prot.Read.reader1
val __bin_read_t__ : ('a, int -> 'a t) Bin_prot.Read.reader1
val bin_writer_t : ('a'a t) Bin_prot.Type_class.S1.writer
val bin_reader_t : ('a'a t) Bin_prot.Type_class.S1.reader
val bin_t : ('a'a t) Bin_prot.Type_class.S1.t
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a t
type 'a t
val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
include module type of sig ... end with type 'a t := 'a t
type 'a t = 'a Base__Option_array.t
val t_of_sexp : (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a t
val sexp_of_t : ('a -> Base.Sexp.t) -> 'a t -> Base.Sexp.t
val empty : 'a t
val create : len:int -> 'a t
val init_some : int -> f:(int -> 'a) -> 'a t
val init : int -> f:(int -> 'a option) -> 'a t
val length : 'a t -> int
val get : 'a t -> int -> 'a option
val get_some_exn : 'a t -> int -> 'a
val is_none : 'a t -> int -> bool
val is_some : 'a t -> int -> bool
val unsafe_get : 'a t -> int -> 'a option
val unsafe_get_some_exn : 'a t -> int -> 'a
val unsafe_get_some_assuming_some : 'a t -> int -> 'a
val unsafe_is_some : 'a t -> int -> bool
val set : 'a t -> int -> 'a option -> unit
val set_some : 'a t -> int -> 'a -> unit
val set_none : 'a t -> int -> unit
val swap : 'a t -> int -> int -> unit
val clear : 'a t -> unit
val unsafe_set : 'a t -> int -> 'a option -> unit
val unsafe_set_some : 'a t -> int -> 'a -> unit
val unsafe_set_none : 'a t -> int -> unit
val blit : ('a t'a t) Base__.Blit_intf.blit
val blito : ('a t'a t) Base__.Blit_intf.blito
val unsafe_blit : ('a t'a t) Base__.Blit_intf.blit
val sub : ('a t'a t) Base__.Blit_intf.sub
val subo : ('a t'a t) Base__.Blit_intf.subo
val copy : 'a t -> 'a t