package tezos-protocol-007-PsDELPH1

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Contract_services/index.html

Module `Tezos_raw_protocol_007_PsDELPH1.Contract_services`Source

Source

val list : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t list
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Sourcetype info = {

balance : Alpha_context.Tez.t;
delegate : Alpha_context.public_key_hash option;
counter : Alpha_context.counter option;
script : Alpha_context.Script.t option;

}

Source

val info_encoding : 
  info Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

Source

val info : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  info Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val balance : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val manager_key : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.public_key_hash ->
  Alpha_context.public_key option
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val delegate : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val delegate_opt : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash option
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val counter : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.public_key_hash ->
  Alpha_context.counter
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val script : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.t
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val script_opt : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.t option
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val storage : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val entrypoint_type : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  string ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val list_entrypoints : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Michelson_v1_primitives.prim list list
   * (string * Alpha_context.Script.expr) list)
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val storage_opt : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Script.expr option
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val big_map_get : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Tezos_protocol_environment_007_PsDELPH1.Z.t ->
  Script_expr_hash.t ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val contract_big_map_get_opt : 
  'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr) ->
  Alpha_context.Script.expr option
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Sourceval register : unit -> unit

package tezos-protocol-007-PsDELPH1

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Contract_services/index.html

Module Tezos_raw_protocol_007_PsDELPH1.Contract_servicesSource

Module `Tezos_raw_protocol_007_PsDELPH1.Contract_services`Source