package octez-proto-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/V9/Make/Bounded/index.html
Module Make.BoundedSource
This module implements bounded (or refined) versions of data types.
Signature for an interval of (included values) with an encoding and projection functions towards the underlying ocaml datatype.
Allows to build interval of int64 integers. The encoding used is Data_encoding.int64 regardless of the actual bounds.
Allows to build interval of int32 integers. The encoding used is Data_encoding.int32 regardless of the actual bounds.
module Non_negative_int32 :
S
with type ocaml_type := int32
with type t = Tezos_base.Bounded.Non_negative_int32.tAllows to build interval of non negative int32 integers. The encoding used is Data_encoding.int32 regardless of the actual bounds.
Allows to build interval of built-in OCaml int integers. The encoding used is Data_encoding.int31 regardless of the actual bounds.
Allows to build interval of int integers representable on 2 bytes. The encoding used is Data_encoding.int16 regardless of the actual bounds.
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.
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.
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.