package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
package tezos-protocol-003-PsddFKi3
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_exist : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val allocated : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_be_allocated : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val increment_counter : Raw_context.t -> Contract_repr.t -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_delegatable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_spendable : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_manager_key_revealed : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_balance : Raw_context.t -> Contract_repr.t -> (Tez_repr.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_counter : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.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 Tezos_base__TzPervasives.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_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val init : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val used_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val paid_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
module Big_map : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct