tezos-protocol-006-PsCARTHA 9.7

tezos-protocol-006-PsCARTHA

include BASIC_DATA

type 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 Data_encoding.t

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

type contract = t

val rpc_arg : 
  contract Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_arg.t

val to_b58check : contract -> string

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

val implicit_contract : public_key_hash -> contract

val is_implicit : contract -> public_key_hash option

val exists : 
  context ->
  contract ->
  (bool,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val must_exist : 
  context ->
  contract ->
  (unit,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val allocated : 
  context ->
  contract ->
  (bool,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val must_be_allocated : 
  context ->
  contract ->
  (unit,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val list : context -> contract list Lwt.t

val get_manager_key : 
  context ->
  public_key_hash ->
  (public_key,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val is_manager_key_revealed : 
  context ->
  public_key_hash ->
  (bool,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val reveal_manager_key : 
  context ->
  public_key_hash ->
  public_key ->
  (context,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_script_code : 
  context ->
  contract ->
  (context * Script.lazy_expr option,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_script : 
  context ->
  contract ->
  (context * Script.t option,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_storage : 
  context ->
  contract ->
  (context * Script.expr option,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_counter : 
  context ->
  public_key_hash ->
  (Z.t,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_balance : 
  context ->
  contract ->
  (Tez.t,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val init_origination_nonce : 
  context ->
  Tezos_crypto.Operation_hash.t ->
  context

val unset_origination_nonce : context -> context

val fresh_contract_from_current_nonce : 
  context ->
  (context * t,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val originated_from_current_nonce : 
  since:context ->
  until:context ->
  (contract list,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

type big_map_diff_item =

| Update of {
1. big_map : Big_map.id;
2. diff_key : Script.expr;
3. diff_key_hash : Script_expr_hash.t;
4. diff_value : Script.expr option;
}
| Clear of Big_map.id
| Copy of Big_map.id * Big_map.id
| Alloc of {
1. big_map : Big_map.id;
2. key_type : Script.expr;
3. value_type : Script.expr;
}

type big_map_diff = big_map_diff_item list

val big_map_diff_encoding : big_map_diff Data_encoding.t

val originate : 
  context ->
  contract ->
  balance:Tez.t ->
  script:(Script.t * big_map_diff option) ->
  delegate:public_key_hash option ->
  (context,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

type Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error +=

| Balance_too_low of contract * Tez.t * Tez.t

val spend : 
  context ->
  contract ->
  Tez.t ->
  (context,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val credit : 
  context ->
  contract ->
  Tez.t ->
  (context,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val update_script_storage : 
  context ->
  contract ->
  Script.expr ->
  big_map_diff option ->
  (context,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val used_storage_space : 
  context ->
  t ->
  (Z.t,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val increment_counter : 
  context ->
  public_key_hash ->
  (context,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val check_counter_increment : 
  context ->
  public_key_hash ->
  Z.t ->
  (unit,
    Tezos_protocol_environment_006_PsCARTHA__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

package tezos-protocol-006-PsCARTHA