Module Parseff.BESource

Big-endian binary parsers.

Sourceval any_uint8 : unit -> int

Read one byte as an unsigned integer (0–255).

Sourceval any_int8 : unit -> int

Read one byte as a signed integer (−128–127).

Sourceval any_int16 : unit -> int

Read 2 bytes as a big-endian signed 16-bit integer.

Sourceval any_uint16 : unit -> int

Read 2 bytes as a big-endian unsigned 16-bit integer.

Sourceval any_int32 : unit -> int32

Read 4 bytes as a big-endian signed 32-bit integer.

Sourceval any_int64 : unit -> int64

Read 8 bytes as a big-endian signed 64-bit integer.

Sourceval any_float : unit -> float

Read 4 bytes as a big-endian IEEE 754 single-precision float.

Sourceval any_double : unit -> float

Read 8 bytes as a big-endian IEEE 754 double-precision float.

Sourceval int16 : int -> unit

int16 i matches exactly the 2 bytes that encode i in big-endian order. Fails if the bytes don't match.

Sourceval int32 : int32 -> unit

int32 i matches exactly the 4 bytes that encode i in big-endian order. Fails if the bytes don't match.

Sourceval int64 : int64 -> unit

int64 i matches exactly the 8 bytes that encode i in big-endian order. Fails if the bytes don't match.