package tezos-base

You can search for identifiers within the package.

in-package search v0.2.0

Tezos: meta-package and pervasive type definitions for Tezos

Install

Dune Dependency

www.tezos.com Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-v12.3.tar.bz2

sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d

sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a

doc/tezos-base/Tezos_base/Protocol/index.html

Module `Tezos_base.Protocol`Source

Sourcetype t = {

expected_env : env_version;
components : component list;

}

Sourceand component = {

name : string;
interface : string option;
implementation : string;

}

Sourceand env_version =

| V0
| V1
| V2
| V3
| V4

Sourceval component_encoding : component Data_encoding.t

Sourceval compare_version : env_version -> env_version -> int

compare_version va vb is negative if va is a less recent version than vb, positive if va is a more recent version than vb, zero if they are the same version.

In less precise but more intuitive terms, compare_version va vb <op> 0 is the same truthness as va <op> vb where <op> is any comparison operator.

E.g., compare_version V0 V1 < 0 is true.

Sourceval env_version_encoding : env_version Data_encoding.t

Sourceval pp_ocaml : Format.formatter -> t -> unit

include S.HASHABLE
  with type t := t
   and type hash := Tezos_crypto.Protocol_hash.t

include S.T with type t := t

include Tezos_stdlib.Compare.S with type t := t

Sourceval (=) : t -> t -> bool

x = y iff compare x y = 0

Sourceval (<>) : t -> t -> bool

x <> y iff compare x y <> 0

Sourceval (<) : t -> t -> bool

x < y iff compare x y < 0

Sourceval (<=) : t -> t -> bool

x <= y iff compare x y <= 0

Sourceval (>=) : t -> t -> bool

x >= y iff compare x y >= 0

Sourceval (>) : t -> t -> bool

x > y iff compare x y > 0

Sourceval compare : t -> t -> int

compare an alias for the functor parameter's compare function

Sourceval equal : t -> t -> bool

equal x y iff compare x y = 0

Sourceval max : t -> t -> t

max x y is x if x >= y otherwise it is y

Sourceval min : t -> t -> t

min x y is x if x <= y otherwise it is y

Sourceval pp : Format.formatter -> t -> unit

Sourceval encoding : t Data_encoding.t

Sourceval to_bytes : t -> Bytes.t

Sourceval of_bytes : Bytes.t -> t option

Sourceval hash : t -> Tezos_crypto.Protocol_hash.t

Sourceval hash_raw : Bytes.t -> Tezos_crypto.Protocol_hash.t

Sourceval of_bytes_exn : Bytes.t -> t

Sourceval of_string_exn : String.t -> t

Sourceval of_string : String.t -> t option

Sourceval bounded_encoding : ?max_size:int -> unit -> t Data_encoding.t

Sourceval module_name_of_env_version : env_version -> string

Sourcemodule Meta : sig ... end