Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Checked_oint
Sourcechecked_oint
is an OCaml library for checked integer arithmetic.
This library supports signed and unsigned integers of bitnesses 8, 16, 32, 64, and 128. S
is the main signature that contains common operations for all integer types; specific implementations are named U8
, U16
, and so on.
The exception raised on underflows/overflows.
An unsigned 8-bit integer.
An unsigned 16-bit integer.
An unsigned 32-bit integer.
An unsigned 64-bit integer.
An unsigned 128-bit integer.
A signed 8-bit integer.
A signed 16-bit integer.
A signed 32-bit integer.
A signed 64-bit integer.
A signed 128-bit integer.
A type that can hold any fixed-width integer.
val pp_generic :
Ppx_deriving_runtime.Format.formatter ->
generic ->
Ppx_deriving_runtime.unit
Represents integer signedness.
val pp_signedness :
Ppx_deriving_runtime.Format.formatter ->
signedness ->
Ppx_deriving_runtime.unit
Represents integer bitness.
val pp_bitness :
Ppx_deriving_runtime.Format.formatter ->
bitness ->
Ppx_deriving_runtime.unit
Represents an integer type.
include sig ... end
Determines the type representation of a generic integer.
Finds an integer implementation based on its type representation.
Constructs a pair of integers; returns None
if a provided pair of generic integers are not of the same tag.