package tezos-protocol-001-PtCJ7pwo

  1. Overview
  2. Docs
package tezos-protocol-001-PtCJ7pwo
Legend:
Library
Module
Module type
Parameter
Class
Class type
include BASIC_DATA
type t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
val encoding : t Tezos_base__TzPervasives.Data_encoding.t
val pp : Stdlib.Format.formatter -> t -> unit
type contract = t
val rpc_arg : contract Tezos_protocol_environment_001_PtCJ7pwo__Environment.RPC_arg.t
val to_b58check : contract -> string
val of_b58check : string -> (contract, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result
val implicit_contract : public_key_hash -> contract
val is_implicit : contract -> public_key_hash option
val exists : context -> contract -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_exist : context -> contract -> (unit, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val allocated : context -> contract -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val must_be_allocated : context -> contract -> (unit, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val list : context -> contract list Lwt.t
val get_manager : context -> contract -> (public_key_hash, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_manager_key : context -> contract -> (public_key, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_manager_key_revealed : context -> contract -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val reveal_manager_key : context -> contract -> public_key -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_delegatable : context -> contract -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val is_spendable : context -> contract -> (bool, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_script : context -> contract -> (context * Script.t option, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_storage : context -> contract -> (context * Script.expr option, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_counter : context -> contract -> (Z.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_balance : context -> contract -> (Tez.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val init_origination_nonce : context -> Tezos_base__TzPervasives.Operation_hash.t -> context
val unset_origination_nonce : context -> context
val fresh_contract_from_current_nonce : context -> (context * t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val originated_from_current_nonce : since:context -> until:context -> (contract list, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
type big_map_diff = (Script_expr_hash.t * Script.expr option) list
val originate : context -> contract -> balance:Tez.t -> manager:public_key_hash -> ?script:(Script.t * big_map_diff option) -> delegate:public_key_hash option -> spendable:bool -> delegatable:bool -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Balance_too_low of contract * Tez.t * Tez.t
val spend : context -> contract -> Tez.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val spend_from_script : context -> contract -> Tez.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val credit : context -> contract -> Tez.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val update_script_storage : context -> contract -> Script.expr -> big_map_diff option -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val used_storage_space : context -> t -> (Z.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val increment_counter : context -> contract -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val check_counter_increment : context -> contract -> Z.t -> (unit, Tezos_protocol_environment_001_PtCJ7pwo__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