package tezos-protocol-005-PsBabyM1

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

Sourcetype t

Sourcetype key = string list

Sourcetype value = MBytes.t

Sourceval mem : t -> key -> bool Lwt.t

Sourceval dir_mem : t -> key -> bool Lwt.t

Sourceval get : t -> key -> value option Lwt.t

Sourceval set : t -> key -> value -> t Lwt.t

Sourceval copy : t -> from:key -> to_:key -> t option Lwt.t

Sourceval del : t -> key -> t Lwt.t

Sourceval remove_rec : t -> key -> t Lwt.t

val fold : 
  t ->
  key ->
  init:'a ->
  f:([ `Dir of key | `Key of key ] -> 'a -> 'a Lwt.t) ->
  'a Lwt.t

Sourceval keys : t -> key -> key list Lwt.t

Sourceval fold_keys : t -> key -> init:'a -> f:(key -> 'a -> 'a Lwt.t) -> 'a Lwt.t

val register_resolver : 
  'a Base58.encoding ->
  (t -> string -> 'a list Lwt.t) ->
  unit

Sourceval complete : t -> string -> string list Lwt.t