package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_base.BoundedSource

This module implements bounded (or refined) versions of data types.

Sourcemodule type BOUNDS = sig ... end

Bounds.

Sourcemodule type S = sig ... end

Signature for an interval of (included values) with an encoding and projection functions towards the underlying ocaml datatype.

Sourcemodule Int64 (B : BOUNDS with type ocaml_type := int64) : S with type ocaml_type := int64

Allows to build interval of int64 integers. The encoding used is Data_encoding.int64 regardless of the actual bounds.

Sourcemodule Int32 (B : BOUNDS with type ocaml_type := int32) : S with type ocaml_type := int32

Allows to build interval of int32 integers. The encoding used is Data_encoding.int32 regardless of the actual bounds.

Sourcemodule Non_negative_int32 : S with type ocaml_type := int32

Allows to build interval of non negative int32 integers. The encoding used is Data_encoding.int32 regardless of the actual bounds.

Sourcemodule Int31 (B : BOUNDS with type ocaml_type := int) : S with type ocaml_type := int

Allows to build interval of built-in OCaml int integers. The encoding used is Data_encoding.int31 regardless of the actual bounds.

Sourcemodule Int16 (B : BOUNDS with type ocaml_type := int) : S with type ocaml_type := int

Allows to build interval of int integers representable on 2 bytes. The encoding used is Data_encoding.int16 regardless of the actual bounds.

Sourcemodule Uint16 (B : BOUNDS with type ocaml_type := int) : S with type ocaml_type := int

Allows to build interval of non-negative int integers representable on 2 bytes. The encoding used is Data_encoding.uint16 regardless of the actual bounds.

Sourcemodule Int8 (B : BOUNDS with type ocaml_type := int) : S with type ocaml_type := int

Allows to build interval of non-negative int integers representable on 1 bytes. The encoding used is Data_encoding.int8 regardless of the actual bounds.

Sourcemodule Uint8 (B : BOUNDS with type ocaml_type := int) : S with type ocaml_type := int

Allows to build interval of non-negative int integers representable on 1 bytes. The encoding used is Data_encoding.uint8 regardless of the actual bounds.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct