Module `Stdlib_stable.Idx_imm`Source

Immutable indices into blocks.

type (('a : value_or_null), ('b : any)) t : bits64 mod everything =
  ('a, 'b) idx_imm

An alias for the type of immutable indices into blocks.

Sourceval get : ('a : value_or_null) ('b : any). 'a -> ('a, 'b) idx_imm -> 'b

get a i uses the index i to access a.

val unsafe_create_into_iarray : 
  ('a : any mod non_float). int ->
  ('a iarray, 'a) idx_imm

unsafe_create_into_iarray i creates an index into the ith element of an immutable array.

This is unsafe because it cannot check array bounds, so calling get with the index later could perform an unchecked out-of-bounds access.

val unsafe_create_into_iarray_indexed_by_int8 : 
  ('a : any mod non_float). int8# ->
  ('a iarray, 'a) idx_imm

val unsafe_create_into_iarray_indexed_by_int16 : 
  ('a : any mod non_float). int16# ->
  ('a iarray, 'a) idx_imm

val unsafe_create_into_iarray_indexed_by_int32 : 
  ('a : any mod non_float). int32# ->
  ('a iarray, 'a) idx_imm

val unsafe_create_into_iarray_indexed_by_int64 : 
  ('a : any mod non_float). int64# ->
  ('a iarray, 'a) idx_imm

val unsafe_create_into_iarray_indexed_by_nativeint : 
  ('a : any mod non_float). nativeint# ->
  ('a iarray, 'a) idx_imm

Module Stdlib_stable.Idx_immSource