Contract (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha

type t =

| Implicit of public_key_hash
| Originated of Contract_hash.t

Functions related to contracts address.

type Mavryk_protocol_environment_alpha.Error_monad.error +=

| Non_existing_contract of t

include BASIC_DATA with type t := t

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

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

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

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

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

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

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

val compare : t -> t -> int

val equal : t -> t -> bool

val max : t -> t -> t

val min : t -> t -> t

val encoding : t Mavryk_protocol_environment_alpha.Data_encoding.t

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

val implicit_encoding : 
  public_key_hash Mavryk_protocol_environment_alpha.Data_encoding.t

val originated_encoding : 
  Contract_hash.t Mavryk_protocol_environment_alpha.Data_encoding.t

val in_memory_size : t -> Cache_memory_helpers.sint

val rpc_arg : t Mavryk_protocol_environment_alpha.RPC_arg.arg

val to_b58check : t -> string

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

Functions related to contracts existence.

val exists : context -> t -> bool Mavryk_protocol_environment_alpha.Lwt.t

val must_exist : 
  context ->
  t ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val allocated : context -> t -> bool Mavryk_protocol_environment_alpha.Lwt.t

val must_be_allocated : 
  context ->
  t ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val list : context -> t list Mavryk_protocol_environment_alpha.Lwt.t

Functions related to both implicit accounts and originated contracts.

val get_balance : 
  context ->
  t ->
  Tez.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_storage.get_balance.

val get_balance_carbonated : 
  context ->
  t ->
  (context * Tez.t) Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_frozen_bonds : 
  context ->
  t ->
  Tez.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_balance_and_frozen_bonds : 
  context ->
  t ->
  Tez.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

Functions related to implicit accounts.

val get_manager_key : 
  ?error:Mavryk_protocol_environment_alpha.Error_monad.error ->
  context ->
  public_key_hash ->
  public_key Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_manager_storage.get_manager_key.

val is_manager_key_revealed : 
  context ->
  public_key_hash ->
  bool Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_manager_storage.is_manager_key_revealed.

val check_public_key : 
  public_key ->
  public_key_hash ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult

See Contract_manager_storage.check_public_key.

val reveal_manager_key : 
  ?check_consistency:bool ->
  context ->
  public_key_hash ->
  public_key ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_manager_storage.reveal_manager_key.

val get_counter : 
  context ->
  public_key_hash ->
  Manager_counter.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val increment_counter : 
  context ->
  public_key_hash ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val check_counter_increment : 
  context ->
  public_key_hash ->
  Manager_counter.t ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val check_allocated_and_get_balance : 
  context ->
  public_key_hash ->
  Tez.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_storage.check_allocated_and_get_balance.

val simulate_spending : 
  context ->
  balance:Tez.t ->
  amount:Tez.t ->
  public_key_hash ->
  (Tez.t * bool) Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_storage.simulate_spending.

Functions related to smart contracts.

val get_script_code : 
  context ->
  Contract_hash.t ->
  (context * Script.lazy_expr option)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_script : 
  context ->
  Contract_hash.t ->
  (context * Script.t option)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_storage : 
  context ->
  Contract_hash.t ->
  (context * Script.expr option)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val used_storage_space : 
  context ->
  t ->
  Mavryk_protocol_environment_alpha.Z.t
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val paid_storage_space : 
  context ->
  t ->
  Mavryk_protocol_environment_alpha.Z.t
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val increase_paid_storage : 
  context ->
  Contract_hash.t ->
  amount_in_bytes:Mavryk_protocol_environment_alpha.Z.t ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val fresh_contract_from_current_nonce : 
  context ->
  (context * Contract_hash.t)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult

val originated_from_current_nonce : 
  since:context ->
  until:context ->
  Contract_hash.t list Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val update_script_storage : 
  context ->
  Contract_hash.t ->
  Script.expr ->
  Lazy_storage.diffs option ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val raw_originate : 
  context ->
  prepaid_bootstrap_storage:bool ->
  Contract_hash.t ->
  script:(Script.t * Lazy_storage.diffs option) ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val is_delegate : 
  context ->
  public_key_hash ->
  bool Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_delegate_storage.is_delegate.

type delegate_status =

| Delegate
| Delegated of Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t
| Undelegated

See Contract_delegate_storage.delegate_status.

val get_delegate_status : 
  context ->
  public_key_hash ->
  delegate_status Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Contract_delegate_storage.get_delegate_status.

val get_total_supply : 
  context ->
  Tez.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

module Legacy_big_map_diff : sig ... end

module Delegate : sig ... end

Functions for handling the delegate of a contract.

module Internal_for_tests : sig ... end

This module discloses definitions that are only useful for tests and must not be used otherwise.

module For_RPC : sig ... end

Functions used exclusively for RPC calls