package tezos-dac-lib

  1. Overview
  2. Docs

Module Tezos_dac_lib.Dac_pluginSource

Protocol.Sc_protocol_reveal_hash.t is unknown to modules outside the protocol and only known at runtime. To avoid the proliferation of functors in the dac node, hash hides the dynamic Protocol.Sc_protocol_reveal_hash.t behind an abstract static type. An instance of Dac_plugin.T behaviour of operations on hash.

Sourcetype hash
Sourceval hash_to_bytes : hash -> bytes
Sourceval hash_to_hex : hash -> Tezos_base.TzPervasives.Hex.t
Sourceval raw_compare : hash -> hash -> int

raw_compare h1 h2 compares hashes through their internal representation. Because the internal representation of Dac_plugin.hashes is compared, this function does not require an instance of Dac_plugin.t.

Sourcetype raw_hash

Protocol independant hash. Useful to avoid needing the Plugin in the RPC APIs.

Sourceval raw_hash_to_hex : raw_hash -> Tezos_base.TzPervasives.Hex.t

raw_hash_to_hex raw_hash returns the Hex representation of the provided raw_hash.

Sourceval raw_hash_encoding : raw_hash Tezos_base.TzPervasives.Data_encoding.t

Protocol independent encoding of Dac_plugin.hash values. Only use in situations where the plugin is not available, and for reporting purposes (e.g. when emitting an event or registering an error).

Sourceval raw_hash_to_bytes : raw_hash -> bytes

raw_hash_to_bytes converts a raw_hash value to a bytes one. This conversion is safe.

Sourceval hash_to_raw : hash -> raw_hash

hash_to_raw converts a hash value to a raw_hash one. This conversion is safe.

Sourceval raw_hash_of_bytes : bytes -> raw_hash

This conversion is safe.

Sourceval raw_hash_rpc_arg : raw_hash Tezos_rpc.Arg.arg

raw_hash argument definition for RPC.

Sourceval pp_raw_hash : Format.formatter -> raw_hash -> unit

pp_raw_hash is a pretty printer for raw_hash values.

Sourcetype supported_hashes =
  1. | Blake2B

FIXME: https://gitlab.com/tezos/tezos/-/issues/4856 Fix static supported_hashes type.

Sourcetype cannot_convert_raw_hash_to_hash = {
  1. raw_hash : raw_hash;
  2. proto : Tezos_base.TzPervasives.Protocol_hash.t;
}

Type used to track exception when impossible to convert raw_hash to hash.

Sourcetype Tezos_base.TzPervasives.error +=
  1. | Cannot_convert_raw_hash_to_hash of cannot_convert_raw_hash_to_hash
Sourcemodule type T = sig ... end
Sourcetype t = (module T)

Dac plugin module type.

Unlike hash_to_raw this conversion is unsafe.

Sourceval register : ((bytes -> hash) -> (module T)) -> unit

register make_plugin derives and registers a new Dac_plugin.T given an of_bytes. Implementers of plugin are responsible for providing the definition of this derivation. Functions that expose Protocol.Sc_protocol_reveal_hash.t can be wrapped into hash via Dac_hash.to_bytes and of_bytes.

Sourceval get : Tezos_base.TzPervasives.Protocol_hash.Table.key -> (module T) option