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

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

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