Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package checked_oint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Checked_ointSource
checked_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.
Source
val pp_generic :
Ppx_deriving_runtime.Format.formatter ->
generic ->
Ppx_deriving_runtime.unitRepresents integer signedness.
Source
val pp_signedness :
Ppx_deriving_runtime.Format.formatter ->
signedness ->
Ppx_deriving_runtime.unitRepresents integer bitness.
Source
val pp_bitness :
Ppx_deriving_runtime.Format.formatter ->
bitness ->
Ppx_deriving_runtime.unitRepresents 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.