package core_kernel

  1. Overview
  2. Docs
package core_kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 : Base.Bytes.t -> pos:Base.Int.t -> digits:Base.Int.t -> Int63.t -> Base.Unit.t

Write digit functions

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 : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t

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 : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_3_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_4_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_5_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_6_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_7_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_8_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val write_9_digit_int : Base.Bytes.t -> pos:Base.Int.t -> Base.Int.t -> Base.Unit.t
val read_int63 : Base.String.t -> pos:Base.Int.t -> digits:Base.Int.t -> Int63.t

Read digit functions

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 : Base.String.t -> pos:Base.Int.t -> Base.Int.t

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 : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_3_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_4_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_5_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_6_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_7_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_8_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t
val read_9_digit_int : Base.String.t -> pos:Base.Int.t -> Base.Int.t