package kdl

  1. Overview
  2. Docs

Module Kdl.NumSource

KDL numbers.

Sourcetype t = [
  1. | `Int of int
  2. | `Int_raw of string
  3. | `Float_raw of string
]

Numeric KDL value.

Although the KDL spec does not differentiate integers and floats, a number is parsed as `Float_raw (stored as string) if it is written in the e scientific notation or contains the . decimal separator. If an integer is too large for the OCaml int, it is parsed as `Int_raw instead of `Int. The strings are not normalized in any way. `Float_raw also includes special values: "inf", "-inf", "nan".

In general, one should not pattern match over specific constructors of the variant, and instead use the to_* functions below while matching over #Kdl.number as num.

Sourceval to_string : [< t ] -> string

Convert the number to string.

Sourceval to_float : [< t ] -> float

Convert the number to float, potentially losing precision.

Failure might be raised in case `Int_raw or `Float_raw contain an invalid literal, which should not happen if they were constructed by the parsing functions.

Sourceval to_int : [< t ] -> int option

Convert the number to int. Results in None if `Int_raw or `Float_raw are invalid literals or do not fit in int, or if `Float_raw is not a whole number. `Float_raw str is parsed as a float that must be in the [-(2^53-1), (2^53-1)] interval.

Sourceval to_int_exn : [< t ] -> int

Raising version of to_int.

Sourceval to_int32 : [< t ] -> int32 option

Convert the number to int32. The to_int semantics apply.

Sourceval to_int32_exn : [< t ] -> int32

Raising version of to_int32.

Sourceval to_int64 : [< t ] -> int64 option

Convert the number to int64. The to_int semantics apply.

Sourceval to_int64_exn : [< t ] -> int64

Raising version of to_int64.

Sourceval to_nativeint : [< t ] -> nativeint option

Convert the number to nativeint. The to_int semantics apply.

Sourceval to_nativeint_exn : [< t ] -> nativeint

Raising version of to_nativeint.

Sourceval to_int_unsigned : [< t ] -> int option

Unsigned version of the to_int conversion.

Sourceval to_int32_unsigned : [< t ] -> int32 option

Unsigned version of the to_int32 conversion.

Sourceval to_int64_unsigned : [< t ] -> int64 option

Unsigned version of the to_int64 conversion.

Sourceval to_nativeint_unsigned : [< t ] -> nativeint option

Unsigned version of the to_nativeint conversion.

Sourceval of_float : float -> [> t ]
Sourceval of_int : int -> [> t ]
Sourceval of_int32 : int32 -> [> t ]
Sourceval of_int64 : int64 -> [> t ]
Sourceval of_nativeint : nativeint -> [> t ]
Sourceval equal : [< t ] -> [< t ] -> bool

Note that number values may not necessarily be normalized.