tezos-protocol-alpha 9.7 · OCaml Package

tezos-protocol-alpha

val list : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  (Alpha_context.Contract.t list,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

type info = {

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

}

val info_encoding : info Data_encoding.t

val info : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (info,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val balance : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val manager_key : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.public_key_hash ->
  (Alpha_context.public_key option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val delegate : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.public_key_hash,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val delegate_opt : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.public_key_hash option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val counter : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.public_key_hash ->
  (Alpha_context.counter,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val script : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.t,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val script_opt : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.t option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val storage : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val entrypoint_type : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  string ->
  (Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Michelson_v1_primitives.prim list list
   * (string * Alpha_context.Script.expr) list,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val storage_opt : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.expr option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val big_map_get : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Big_map.Id.t ->
  Script_expr_hash.t ->
  (Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val contract_big_map_get_opt : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr) ->
  (Alpha_context.Script.expr option,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val single_sapling_get_diff : 
  'a Tezos_protocol_environment_alpha__Environment.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  ?offset_commitment:int64 ->
  ?offset_nullifier:int64 ->
  unit ->
  (Alpha_context.Sapling.root * Alpha_context.Sapling.diff,
    Tezos_error_monad.TzCore.error Tezos_error_monad.Error_monad.TzTrace.trace)
    Stdlib.result
    Lwt.t

val register : unit -> unit

package tezos-protocol-alpha