package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
package tezos-protocol-007-PsDELPH1
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = private
  1. | Implicit of Tezos_crypto.Signature.public_key_hash
  2. | Originated of Contract_hash.t
type contract = t
val (=) : contract -> contract -> bool
val (<>) : contract -> contract -> bool
val (<) : contract -> contract -> bool
val (<=) : contract -> contract -> bool
val (>=) : contract -> contract -> bool
val (>) : contract -> contract -> bool
val compare : contract -> contract -> int
val equal : contract -> contract -> bool
val max : contract -> contract -> contract
val min : contract -> contract -> contract

Implicit contracts

Originated contracts

type origination_nonce

Originated contracts handles are crafted from the hash of the operation that triggered their origination (and nothing else). As a single operation can trigger several originations, the corresponding handles are forged from a deterministic sequence of nonces, initialized with the hash of the operation.

val originated_contract : origination_nonce -> contract
val originated_contracts : since:origination_nonce -> until:origination_nonce -> contract list
val initial_origination_nonce : Tezos_crypto.Operation_hash.t -> origination_nonce
val incr_origination_nonce : origination_nonce -> origination_nonce
val is_originated : contract -> Contract_hash.t option

Human readable notation

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Invalid_contract_notation of string
val to_b58check : contract -> string
val of_b58check : string -> (contract, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val pp : Format.formatter -> contract -> unit
val pp_short : Format.formatter -> contract -> unit

Serializers

val encoding : contract Data_encoding.t
val origination_nonce_encoding : origination_nonce Data_encoding.t
val rpc_arg : contract Tezos_protocol_environment_007_PsDELPH1__Environment.RPC_arg.t
module Index : Storage_description.INDEX with type t = t