package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 : Format.formatter -> t -> unit
type contract = t
val rpc_arg : contract Tezos_protocol_environment_007_PsDELPH1__Environment.RPC_arg.t
val to_b58check : contract -> string
val of_b58check : string -> (contract, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val implicit_contract : public_key_hash -> contract
val is_implicit : contract -> public_key_hash option
val exists : context -> contract -> (bool, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val must_exist : context -> contract -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val allocated : context -> contract -> (bool, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val must_be_allocated : context -> contract -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val list : context -> contract list Lwt.t
val get_manager_key : context -> public_key_hash -> (public_key, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val is_manager_key_revealed : context -> public_key_hash -> (bool, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val reveal_manager_key : context -> public_key_hash -> public_key -> (context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val get_script_code : context -> contract -> (context * Script.lazy_expr option, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val get_script : context -> contract -> (context * Script.t option, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val get_storage : context -> contract -> (context * Script.expr option, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val get_counter : context -> public_key_hash -> (Z.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val get_balance : context -> contract -> (Tez.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val get_balance_carbonated : context -> contract -> (context * Tez.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) 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_007_PsDELPH1__Environment.Error_monad.error list) result
val originated_from_current_nonce : since:context -> until:context -> (contract list, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
type big_map_diff_item =
  1. | 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;
    }
  2. | Clear of Big_map.id
  3. | Copy of {
    1. src : Big_map.id;
    2. dst : Big_map.id;
    }
  4. | 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_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Balance_too_low of contract * Tez.t * Tez.t
val spend : context -> contract -> Tez.t -> (context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val credit : context -> contract -> Tez.t -> (context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val update_script_storage : context -> contract -> Script.expr -> big_map_diff option -> (context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val used_storage_space : context -> t -> (Z.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val increment_counter : context -> public_key_hash -> (context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val check_counter_increment : context -> public_key_hash -> Z.t -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t