package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include module type of struct include Tezos_crypto.Hashed.Smart_rollup_state_hash end

type t = Tezos_crypto.Hashed.Smart_rollup_state_hash.t

val name : string

val title : string

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

val pp_short : Format.formatter -> t -> unit

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

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

x = y iff compare x y = 0

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

x <> y iff compare x y <> 0

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

x < y iff compare x y < 0

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

x <= y iff compare x y <= 0

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

x >= y iff compare x y >= 0

val (>) : t -> t -> bool

x > y iff compare x y > 0

val compare : t -> t -> int

compare an alias for the functor parameter's compare function

val equal : t -> t -> bool

equal x y iff compare x y = 0

val max : t -> t -> t

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

val min : t -> t -> t

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

val zero : t

val size : int

val to_hex : t -> Tezos_stdlib.Hex.t

val of_hex : Tezos_stdlib.Hex.t -> t Tezos_error_monad.Error_monad.tzresult

val of_hex_opt : Tezos_stdlib.Hex.t -> t option

val of_hex_exn : Tezos_stdlib.Hex.t -> t

val to_string : t -> string

val of_string : string -> t Tezos_error_monad.Error_monad.tzresult

val of_string_opt : string -> t option

val of_string_exn : string -> t

val to_bytes : t -> Bytes.t

val of_bytes : Bytes.t -> t Tezos_error_monad.Error_monad.tzresult

val of_bytes_opt : Bytes.t -> t option

val of_bytes_exn : Bytes.t -> t

val to_b58check : t -> string

val to_short_b58check : t -> string

val of_b58check : string -> t Tezos_error_monad.Error_monad.tzresult

val of_b58check_exn : string -> t

val of_b58check_opt : string -> t option

type Tezos_crypto.Base58.data +=

| Data of t

val b58check_encoding : t Tezos_crypto.Base58.encoding

val encoding : t Data_encoding.t

val rpc_arg : t Tezos_rpc.Arg.t

val hash : t -> int

val seeded_hash : int -> t -> int

val to_path : t -> string list -> string list

val of_path : string list -> t option

val of_path_exn : string list -> t

val prefix_path : string -> string list

val path_length : int

module Set = Tezos_crypto.Hashed.Smart_rollup_state_hash.Set

module Map = Tezos_crypto.Hashed.Smart_rollup_state_hash.Map

module Table = Tezos_crypto.Hashed.Smart_rollup_state_hash.Table

module Error_table = Tezos_crypto.Hashed.Smart_rollup_state_hash.Error_table

module WeakRingTable =
  Tezos_crypto.Hashed.Smart_rollup_state_hash.WeakRingTable

val context_hash_to_state_hash : Tezos_crypto__.Context_hash.t -> t

context_hash_to_state_hash ch turns an (Irmin) context hash into a state hash.

type unreachable__use_context_hash_to_state_hash

Hackish way to disable hash_bytes and hash_string to force people to use context_hash_to_state_hash (without changing content of S.HASH).

val hash_bytes : unreachable__use_context_hash_to_state_hash

val hash_string : unreachable__use_context_hash_to_state_hash