package tezos-protocol-001-PtCJ7pwo

  1. Overview
  2. Docs
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.