package octez-proto-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/V8/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.