package tezos-protocol-001-PtCJ7pwo

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_001_PtCJ7pwo__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_base__TzPervasives.Signature.public_key_hash
  7. | Empty_transaction of Contract_repr.t
  8. | Inconsistent_hash of Tezos_base__TzPervasives.Signature.public_key * Tezos_base__TzPervasives.Signature.public_key_hash * Tezos_base__TzPervasives.Signature.public_key_hash
  9. | Inconsistent_public_key of Tezos_base__TzPervasives.Signature.public_key * Tezos_base__TzPervasives.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_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_exist : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val allocated : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_be_allocated : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val check_counter_increment : Raw_context.t -> Contract_repr.t -> Z.t -> (unit, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val increment_counter : Raw_context.t -> Contract_repr.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_delegatable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_spendable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_manager : Raw_context.t -> Contract_repr.t -> (Tezos_base__TzPervasives.Signature.public_key_hash, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_manager_key : Raw_context.t -> Contract_repr.t -> (Tezos_base__TzPervasives.Signature.public_key, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_manager_key_revealed : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val reveal_manager_key : Raw_context.t -> Contract_repr.t -> Tezos_base__TzPervasives.Signature.public_key -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_balance : Raw_context.t -> Contract_repr.t -> (Tez_repr.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_counter : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_script : Raw_context.t -> Contract_repr.t -> (Raw_context.t * Script_repr.t option, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_storage : Raw_context.t -> Contract_repr.t -> (Raw_context.t * Script_repr.expr option, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
type big_map_diff = (Script_expr_hash.t * Script_repr.expr option) list
val update_script_storage : Raw_context.t -> Contract_repr.t -> Script_repr.expr -> big_map_diff option -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val credit : Raw_context.t -> Contract_repr.t -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val spend : Raw_context.t -> Contract_repr.t -> Tez_repr.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.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_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.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_base__TzPervasives.Signature.public_key_hash -> ?script:(Script_repr.t * big_map_diff option) -> delegate:Tezos_base__TzPervasives.Signature.public_key_hash option -> spendable:bool -> delegatable:bool -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val fresh_contract_from_current_nonce : Raw_context.t -> (Raw_context.t * Contract_repr.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val originated_from_current_nonce : since:Raw_context.t -> until:Raw_context.t -> (Contract_repr.t list, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val init : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val used_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val paid_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.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_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
module Big_map : sig ... end
OCaml

Innovation. Community. Security.