tezos-protocol-003-PsddFKi3 9.7

tezos-protocol-003-PsddFKi3

type t = private

| 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

****************************************************

val implicit_contract : 
  Tezos_base__TzPervasives.Signature.public_key_hash ->
  contract

val is_implicit : 
  contract ->
  Tezos_base__TzPervasives.Signature.public_key_hash option

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_base__TzPervasives.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_003_PsddFKi3__Environment.Error_monad.error +=

| Invalid_contract_notation of string

val to_b58check : contract -> string

val of_b58check : 
  string ->
  (contract,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result

val pp : Stdlib.Format.formatter -> contract -> unit

val pp_short : Stdlib.Format.formatter -> contract -> unit

Serializers

**********************************************************

val encoding : contract Tezos_base__TzPervasives.Data_encoding.t

val origination_nonce_encoding : 
  origination_nonce Tezos_base__TzPervasives.Data_encoding.t

val rpc_arg : 
  contract Tezos_protocol_environment_003_PsddFKi3__Environment.RPC_arg.t

module Index : sig ... end

package tezos-protocol-003-PsddFKi3

Implicit contracts

Originated contracts

Human readable notation

Serializers