Module `Alpha_context.Contract`Source

include BASIC_DATA

Sourcetype t

include Tezos_protocol_environment_001_PtCJ7pwo.Compare.S with type t := 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

Sourceval encoding : t Tezos_protocol_environment_001_PtCJ7pwo.Data_encoding.t

Sourceval pp : Tezos_protocol_environment_001_PtCJ7pwo.Format.formatter -> t -> unit

Sourcetype contract = t

Sourceval rpc_arg : contract Tezos_protocol_environment_001_PtCJ7pwo.RPC_arg.arg

Sourceval to_b58check : contract -> string

Source

val of_b58check : 
  string ->
  contract Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult

Sourceval implicit_contract : public_key_hash -> contract

Sourceval is_implicit : contract -> public_key_hash option

Source

val exists : 
  context ->
  contract ->
  bool Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val must_exist : 
  context ->
  contract ->
  unit Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val allocated : 
  context ->
  contract ->
  bool Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val must_be_allocated : 
  context ->
  contract ->
  unit Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val list : 
  context ->
  contract list Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val get_manager : 
  context ->
  contract ->
  public_key_hash Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val get_manager_key : 
  context ->
  contract ->
  public_key Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val is_manager_key_revealed : 
  context ->
  contract ->
  bool Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val reveal_manager_key : 
  context ->
  contract ->
  public_key ->
  context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val is_delegatable : 
  context ->
  contract ->
  bool Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val is_spendable : 
  context ->
  contract ->
  bool Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val get_script : 
  context ->
  contract ->
  (context * Script.t option)
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val get_storage : 
  context ->
  contract ->
  (context * Script.expr option)
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val get_counter : 
  context ->
  contract ->
  Tezos_protocol_environment_001_PtCJ7pwo.Z.t
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val get_balance : 
  context ->
  contract ->
  Tez.t Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val init_origination_nonce : 
  context ->
  Tezos_protocol_environment_001_PtCJ7pwo.Operation_hash.t ->
  context

Sourceval unset_origination_nonce : context -> context

Source

val fresh_contract_from_current_nonce : 
  context ->
  (context * t) Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val originated_from_current_nonce : 
  since:context ->
  until:context ->
  contract list Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Sourcetype big_map_diff = (Script_expr_hash.t * Script.expr option) list

Source

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

Sourcetype Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=

| Balance_too_low of contract * Tez.t * Tez.t

Source

val spend : 
  context ->
  contract ->
  Tez.t ->
  context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val spend_from_script : 
  context ->
  contract ->
  Tez.t ->
  context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val credit : 
  context ->
  contract ->
  Tez.t ->
  context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val update_script_storage : 
  context ->
  contract ->
  Script.expr ->
  big_map_diff option ->
  context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val used_storage_space : 
  context ->
  t ->
  Tezos_protocol_environment_001_PtCJ7pwo.Z.t
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val increment_counter : 
  context ->
  contract ->
  context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Source

val check_counter_increment : 
  context ->
  contract ->
  Tezos_protocol_environment_001_PtCJ7pwo.Z.t ->
  unit Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Sourcemodule Big_map : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-001-PtCJ7pwo.raw/Tezos_raw_protocol_001_PtCJ7pwo/Alpha_context/Contract/index.html

Module `Alpha_context.Contract`Source

package tezos-protocol-001-PtCJ7pwo

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-001-PtCJ7pwo.raw/Tezos_raw_protocol_001_PtCJ7pwo/Alpha_context/Contract/index.html

Module Alpha_context.ContractSource

Module `Alpha_context.Contract`Source