Module `Tezos_raw_protocol_003_PsddFKi3.Contract_storage`Source

Sourcetype Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=

| Balance_too_low of Contract_repr.contract * Tez_repr.t * Tez_repr.t
| Counter_in_the_past of Contract_repr.contract * Tezos_protocol_environment_003_PsddFKi3.Z.t * Tezos_protocol_environment_003_PsddFKi3.Z.t
| Counter_in_the_future of Contract_repr.contract * Tezos_protocol_environment_003_PsddFKi3.Z.t * Tezos_protocol_environment_003_PsddFKi3.Z.t
| Unspendable_contract of Contract_repr.contract
| Non_existing_contract of Contract_repr.contract
| Empty_implicit_contract of Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
| Empty_transaction of Contract_repr.t
| Inconsistent_hash of Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key.t * Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t * Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
| Inconsistent_public_key of Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key.t * Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key.t
| Failure of string
| Previously_revealed_key of Contract_repr.t
| Unrevealed_manager_key of Contract_repr.t

val exists : 
  Raw_context.t ->
  Contract_repr.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val must_exist : 
  Raw_context.t ->
  Contract_repr.t ->
  unit Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val allocated : 
  Raw_context.t ->
  Contract_repr.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val must_be_allocated : 
  Raw_context.t ->
  Contract_repr.t ->
  unit Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val list : 
  Raw_context.t ->
  Contract_repr.t list Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val check_counter_increment : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Z.t ->
  unit Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val increment_counter : 
  Raw_context.t ->
  Contract_repr.t ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val is_delegatable : 
  Raw_context.t ->
  Contract_repr.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val is_spendable : 
  Raw_context.t ->
  Contract_repr.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val get_manager : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val get_manager_key : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val is_manager_key_revealed : 
  Raw_context.t ->
  Contract_repr.t ->
  bool Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val reveal_manager_key : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key.t ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val get_balance : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val get_counter : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Z.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val get_script : 
  Raw_context.t ->
  Contract_repr.t ->
  (Raw_context.t * Script_repr.t option)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val get_storage : 
  Raw_context.t ->
  Contract_repr.t ->
  (Raw_context.t * Script_repr.expr option)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Sourcetype big_map_diff_item = {

diff_key : Script_repr.expr;
diff_key_hash : Script_expr_hash.t;
diff_value : Script_repr.expr option;

}

Sourcetype big_map_diff = big_map_diff_item list

Source

val big_map_diff_encoding : 
  big_map_diff Tezos_protocol_environment_003_PsddFKi3.Data_encoding.t

Source

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.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val credit : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val spend : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

checks that the contract is spendable and decrease_balance

Source

val spend_from_script : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

decrease_balance even if the contract is not spendable

Source

val originate : 
  Raw_context.t ->
  ?prepaid_bootstrap_storage:bool ->
  Contract_repr.t ->
  balance:Tez_repr.t ->
  manager:Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t ->
  ?script:(Script_repr.t * big_map_diff option) ->
  delegate:
    Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t option ->
  spendable:bool ->
  delegatable:bool ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val fresh_contract_from_current_nonce : 
  Raw_context.t ->
  (Raw_context.t * Contract_repr.t)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val originated_from_current_nonce : 
  since:Raw_context.t ->
  until:Raw_context.t ->
  Contract_repr.t list
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val init : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val used_storage_space : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Z.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val paid_storage_space : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Z.t
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Source

val set_paid_storage_space_and_return_fees_to_pay : 
  Raw_context.t ->
  Contract_repr.t ->
  Tezos_protocol_environment_003_PsddFKi3.Z.t ->
  (Tezos_protocol_environment_003_PsddFKi3.Z.t * Raw_context.t)
    Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
    Tezos_protocol_environment_003_PsddFKi3.Lwt.t

Sourcemodule Big_map : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Contract_storage/index.html

Module `Tezos_raw_protocol_003_PsddFKi3.Contract_storage`Source

package tezos-protocol-003-PsddFKi3

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Contract_storage/index.html

Module Tezos_raw_protocol_003_PsddFKi3.Contract_storageSource

dune-project
Dependency

Module `Tezos_raw_protocol_003_PsddFKi3.Contract_storage`Source