Utility functions for parsing and outputing strings containing known numbers of digits. Used primarily for building functions for reading in and writing out Time related values.
val write_int63 : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> digits:Core_kernel__.Import.int ‑> Core_kernel.Int63.t ‑> Core_kernel__.Import.unit
write_int63 bytes ~pos ~digits int63
writes the string representation of int63
,
0-padded to fill digits
characters, into bytes
starting at position pos
. Raises
if int
is negative or is too long for bytes
, if pos
is an invalid index in
bytes
for the number of digits, or if digits < 1
.
val write_1_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
write_*_digit_int
is like write_int63
for a hard-coded number of digits and for
int
rather than Int63.t
.
val write_2_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_3_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_4_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_5_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_6_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_7_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_8_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val write_9_digit_int : Core_kernel__.Import.bytes ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit
val read_int63 : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> digits:Core_kernel__.Import.int ‑> Core_kernel.Int63.t
read_int63 string ~pos ~digits
parses digits
characters starting at pos
in
string
and returns the corresponding Int63.t
. It raises if digits < 1
or
pos < 0
or pos + digits > String.length string
.
val read_1_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
read_*_digit_int
is like read_int63
for a hard-coded number of digits and for
int
rather than Int63.t
.
val read_2_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_3_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_4_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_5_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_6_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_7_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_8_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int
val read_9_digit_int : Core_kernel__.Import.string ‑> pos:Core_kernel__.Import.int ‑> Core_kernel__.Import.int