package tezos-protocol-005-PsBabyM1

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Contract_repr/index.html

Module Tezos_raw_protocol_005_PsBabyM1.Contract_reprSource

Sourcetype contract = t
include Tezos_protocol_environment_005_PsBabyM1.Compare.S with type t := contract
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

Sourceval originated_contract_004 : Contract_hash.t -> contract

Only for migration from proto_004

Originated contracts

Sourcetype 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.

Sourceval originated_contract : origination_nonce -> contract
Sourceval originated_contracts : since:origination_nonce -> until:origination_nonce -> contract list
Sourceval incr_origination_nonce : origination_nonce -> origination_nonce
Sourceval is_originated : contract -> Contract_hash.t option

Human readable notation

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=
  1. | Invalid_contract_notation of string
Sourceval to_b58check : contract -> string

Serializers

OCaml

Innovation. Community. Security.