Up

Module Permissioned

Signature

type ('a, 'perms) t = ('a, 'perms) Core_kernel.Core_array.Permissioned.t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'perms) -> Sexplib.Sexp.t -> ('a, 'perms) t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> ('perms -> Sexplib.Sexp.t) -> ('a, 'perms) t -> Sexplib.Sexp.t
val compare : ('a -> 'a -> int) -> ('perms -> 'perms -> int) -> ('a, 'perms) t -> ('a, 'perms) t -> int
val bin_t : 'a Bin_prot.Type_class.t -> 'perms Bin_prot.Type_class.t -> ('a, 'perms) t Bin_prot.Type_class.t
val bin_read_t : 'a Bin_prot.Read.reader -> 'perms Bin_prot.Read.reader -> ('a, 'perms) t Bin_prot.Read.reader
val __bin_read_t__ : 'a Bin_prot.Read.reader -> 'perms Bin_prot.Read.reader -> (int -> ('a, 'perms) t) Bin_prot.Read.reader
val bin_reader_t : 'a Bin_prot.Type_class.reader -> 'perms Bin_prot.Type_class.reader -> ('a, 'perms) t Bin_prot.Type_class.reader
val bin_size_t : 'a Bin_prot.Size.sizer -> 'perms Bin_prot.Size.sizer -> ('a, 'perms) t Bin_prot.Size.sizer
val bin_write_t : 'a Bin_prot.Write.writer -> 'perms Bin_prot.Write.writer -> ('a, 'perms) t Bin_prot.Write.writer
val bin_writer_t : 'a Bin_prot.Type_class.writer -> 'perms Bin_prot.Type_class.writer -> ('a, 'perms) t Bin_prot.Type_class.writer
module Int : sig .. end
module Float : sig .. end
val of_array_id : 'a array -> ('a, [<
| Core_kernel.Perms.Export.read_write
]) t
val to_array_id : ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> 'a array
val to_sequence_immutable : ('a, [>
| Core_kernel.Perms.Export.immutable
]) t -> 'a Core_kernel.Sequence.t
val mem : ?equal:('a -> 'a -> bool) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> 'a -> bool
val iter : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> unit) -> unit
val fold : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accum
val exists : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> bool) -> bool
val for_all : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> bool) -> bool
val count : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> bool) -> int
val sum : (module Core_kernel.Commutative_group.S with type t = 'sum) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'sum) -> 'sum
val find : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> bool) -> 'a option
val find_map : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b option) -> 'b option
val to_list : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> 'a list
val to_array : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> 'a array
val min_elt : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> cmp:('a -> 'a -> int) -> 'a option
val max_elt : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> cmp:('a -> 'a -> int) -> 'a option
val length : ('a, 'b) t -> int
val is_empty : ('a, 'b) t -> bool
external get : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> int -> 'a = "%array_safe_get"
external set : ('a, [>
| Core_kernel.Perms.Export.write
]) t -> int -> 'a -> unit = "%array_safe_set"
external unsafe_get : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> int -> 'a = "%array_unsafe_get"
external unsafe_set : ('a, [>
| Core_kernel.Perms.Export.write
]) t -> int -> 'a -> unit = "%array_unsafe_set"
val create : len:int -> 'a -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val init : int -> f:(int -> 'a) -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val make_matrix : dimx:int -> dimy:int -> 'a -> (('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val append : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val concat : ('a, [>
| Core_kernel.Perms.Export.read
]) t list -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val copy : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val fill : ('a, [>
| Core_kernel.Perms.Export.write
]) t -> pos:int -> len:int -> 'a -> unit
val of_list : 'a list -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val map : f:('a -> 'b) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val iteri : f:(int -> 'a -> unit) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> unit
val mapi : f:(int -> 'a -> 'b) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val foldi : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> init:'b -> f:(int -> 'b -> 'a -> 'b) -> 'b
val fold_right : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b -> 'b) -> init:'b -> 'b
val sort : ?pos:int -> ?len:int -> ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> cmp:('a -> 'a -> int) -> unit
val stable_sort : ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> cmp:('a -> 'a -> int) -> unit
val is_sorted : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> cmp:('a -> 'a -> int) -> bool
val is_sorted_strictly : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> cmp:('a -> 'a -> int) -> bool
val concat_map : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> ('b, [>
| Core_kernel.Perms.Export.read
]) t) -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val concat_mapi : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> ('b, [>
| Core_kernel.Perms.Export.read
]) t) -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val partition_tf : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> bool) -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t * ('a, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val partitioni_tf : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> bool) -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t * ('a, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val cartesian_product : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> ('a * 'b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val transpose : (('a, [>
| Core_kernel.Perms.Export.read
]) t, [>
| Core_kernel.Perms.Export.read
]) t -> (('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t, [<
| 'c Core_kernel.Perms.Export.perms
]) t option
val transpose_exn : (('a, [>
| Core_kernel.Perms.Export.read
]) t, [>
| Core_kernel.Perms.Export.read
]) t -> (('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val normalize : ('a, 'b) t -> int -> int
val slice : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> int -> int -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val nget : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> int -> 'a
val nset : ('a, [>
| Core_kernel.Perms.Export.write
]) t -> int -> 'a -> unit
val filter_opt : ('a option, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val filter_map : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b option) -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val filter_mapi : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> 'b option) -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val for_alli : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> bool) -> bool
val existsi : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> bool) -> bool
val counti : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> bool) -> int
val iter2_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b -> unit) -> unit
val map2_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b -> 'c) -> ('c, [<
| 'd Core_kernel.Perms.Export.perms
]) t
val fold2_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> init:'c -> f:('c -> 'a -> 'b -> 'c) -> 'c
val for_all2_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b -> bool) -> bool
val exists2_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b -> bool) -> bool
val filter : f:('a -> bool) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val filteri : f:(int -> 'a -> bool) -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val swap : ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> int -> int -> unit
val rev_inplace : ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> unit
val of_list_rev : 'a list -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val of_list_map : 'a list -> f:('a -> 'b) -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val of_list_rev_map : 'a list -> f:('a -> 'b) -> ('b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val replace : ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> int -> f:('a -> 'a) -> unit
val replace_all : ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> f:('a -> 'a) -> unit
val find_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> bool) -> 'a
val find_map_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'b option) -> 'b
val findi : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> bool) -> (int * 'a) option
val findi_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> bool) -> int * 'a
val find_mapi : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> 'b option) -> 'b option
val find_mapi_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:(int -> 'a -> 'b option) -> 'b
val find_consecutive_duplicate : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> equal:('a -> 'a -> bool) -> ('a * 'a) option
val reduce : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'a -> 'a) -> 'a option
val reduce_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> f:('a -> 'a -> 'a) -> 'a
val permute : ?random_state:Core_kernel.Core_random.State.t -> ('a, [>
| Core_kernel.Perms.Export.read_write
]) t -> unit
val zip : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> ('a * 'b, [<
| 'c Core_kernel.Perms.Export.perms
]) t option
val zip_exn : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('b, [>
| Core_kernel.Perms.Export.read
]) t -> ('a * 'b, [<
| 'c Core_kernel.Perms.Export.perms
]) t
val unzip : ('a * 'b, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [<
| 'c Core_kernel.Perms.Export.perms
]) t * ('b, [<
| 'd Core_kernel.Perms.Export.perms
]) t
val sorted_copy : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> cmp:('a -> 'a -> int) -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val last : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> 'a
val empty : unit -> ('a, [<
| 'b Core_kernel.Perms.Export.perms
]) t
val equal : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> ('a, [>
| Core_kernel.Perms.Export.read
]) t -> equal:('a -> 'a -> bool) -> bool
val truncate : ('a, [>
| Core_kernel.Perms.Export.write
]) t -> len:int -> unit
val to_sequence : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> 'a Core_kernel.Sequence.t
val to_sequence_mutable : ('a, [>
| Core_kernel.Perms.Export.read
]) t -> 'a Core_kernel.Sequence.t