package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Balance_too_low of Contract_repr.contract * Tez_repr.t * Tez_repr.t
  2. | Counter_in_the_past of Contract_repr.contract * Z.t * Z.t
  3. | Counter_in_the_future of Contract_repr.contract * Z.t * Z.t
  4. | Unspendable_contract of Contract_repr.contract
  5. | Non_existing_contract of Contract_repr.contract
  6. | Empty_implicit_contract of Tezos_crypto.Signature.public_key_hash
  7. | Empty_transaction of Contract_repr.t
  8. | Inconsistent_hash of Tezos_crypto.Signature.public_key * Tezos_crypto.Signature.public_key_hash * Tezos_crypto.Signature.public_key_hash
  9. | Inconsistent_public_key of Tezos_crypto.Signature.public_key * Tezos_crypto.Signature.public_key
  10. | Failure of string
  11. | Previously_revealed_key of Contract_repr.t
  12. | Unrevealed_manager_key of Contract_repr.t
val exists : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val must_exist : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val allocated : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val must_be_allocated : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val check_counter_increment : Raw_context.t -> Contract_repr.t -> Z.t -> (unit, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val increment_counter : Raw_context.t -> Contract_repr.t -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val is_delegatable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val is_spendable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val get_manager : Raw_context.t -> Contract_repr.t -> (Tezos_crypto.Signature.public_key_hash, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val get_manager_key : Raw_context.t -> Contract_repr.t -> (Tezos_crypto.Signature.public_key, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val is_manager_key_revealed : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val reveal_manager_key : Raw_context.t -> Contract_repr.t -> Tezos_crypto.Signature.public_key -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val get_balance : Raw_context.t -> Contract_repr.t -> (Tez_repr.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val get_counter : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val get_script : Raw_context.t -> Contract_repr.t -> (Raw_context.t * Script_repr.t option, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val get_storage : Raw_context.t -> Contract_repr.t -> (Raw_context.t * Script_repr.expr option, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
type big_map_diff_item = {
  1. diff_key : Script_repr.expr;
  2. diff_key_hash : Script_expr_hash.t;
  3. diff_value : Script_repr.expr option;
}
type big_map_diff = big_map_diff_item list
val big_map_diff_encoding : big_map_diff Data_encoding.t
val update_script_storage : Raw_context.t -> Contract_repr.t -> Script_repr.expr -> big_map_diff option -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val credit : Raw_context.t -> Contract_repr.t -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val spend : Raw_context.t -> Contract_repr.t -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t

checks that the contract is spendable and decrease_balance

val spend_from_script : Raw_context.t -> Contract_repr.t -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t

decrease_balance even if the contract is not spendable

val originate : Raw_context.t -> ?prepaid_bootstrap_storage:bool -> Contract_repr.t -> balance:Tez_repr.t -> manager:Tezos_crypto.Signature.public_key_hash -> ?script:(Script_repr.t * big_map_diff option) -> delegate:Tezos_crypto.Signature.public_key_hash option -> spendable:bool -> delegatable:bool -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val fresh_contract_from_current_nonce : Raw_context.t -> (Raw_context.t * Contract_repr.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val originated_from_current_nonce : since:Raw_context.t -> until:Raw_context.t -> (Contract_repr.t list, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val init : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val used_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val paid_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val set_paid_storage_space_and_return_fees_to_pay : Raw_context.t -> Contract_repr.t -> Z.t -> (Z.t * Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
module Big_map : sig ... end