package tezos-protocol-005-PsBabyM1

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_005_PsBabyM1__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_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_exist : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val allocated : Raw_context.t -> Contract_repr.t -> (bool, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_be_allocated : Raw_context.t -> Contract_repr.t -> (unit, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val check_counter_increment : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> Z.t -> (unit, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val increment_counter : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Raw_context.t, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_manager_004 : Raw_context.t -> Contract_repr.t -> (Tezos_base__TzPervasives.Signature.public_key_hash, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_manager_key : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Tezos_base__TzPervasives.Signature.public_key, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_manager_key_revealed : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (bool, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val reveal_manager_key : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> Tezos_base__TzPervasives.Signature.public_key -> (Raw_context.t, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_balance : Raw_context.t -> Contract_repr.t -> (Tez_repr.t, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_counter : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Z.t, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_script_code : Raw_context.t -> Contract_repr.t -> (Raw_context.t * Script_repr.lazy_expr option, Tezos_protocol_environment_005_PsBabyM1__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_005_PsBabyM1__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_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
type big_map_diff_item =
  1. | Update of {
    1. big_map : Z.t;
    2. diff_key : Script_repr.expr;
    3. diff_key_hash : Script_expr_hash.t;
    4. diff_value : Script_repr.expr option;
    }
  2. | Clear of Z.t
  3. | Copy of Z.t * Z.t
  4. | Alloc of {
    1. big_map : Z.t;
    2. key_type : Script_repr.expr;
    3. value_type : Script_repr.expr;
    }
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_005_PsBabyM1__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_005_PsBabyM1__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_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val originate : Raw_context.t -> ?prepaid_bootstrap_storage:bool -> Contract_repr.t -> balance:Tez_repr.t -> script:(Script_repr.t * big_map_diff option) -> delegate:Tezos_base__TzPervasives.Signature.public_key_hash option -> (Raw_context.t, Tezos_protocol_environment_005_PsBabyM1__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_005_PsBabyM1__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_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val init : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val used_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
val paid_storage_space : Raw_context.t -> Contract_repr.t -> (Z.t, Tezos_protocol_environment_005_PsBabyM1__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_005_PsBabyM1__Environment.Error_monad.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.