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=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

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