package tezos-protocol-010-PtGRANAD

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-010-PtGRANAD.environment/Tezos_protocol_environment_010_PtGRANAD/Context/index.html

Module `Tezos_protocol_environment_010_PtGRANAD.Context`Source

Sourcemodule type VIEW = sig ... end

Sourcemodule type TREE = sig ... end

Sourcetype t

Sourcetype key = string list

Sourcetype value = bytes

Sourcetype tree

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

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

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

Sourceval find_tree : t -> key -> tree option Lwt.t

Sourceval list : t -> ?offset:int -> ?length:int -> key -> (string * tree) list Lwt.t

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

Sourceval add_tree : t -> key -> tree -> t Lwt.t

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

Source

val fold : 
  ?depth:[ `Eq of int | `Ge of int | `Gt of int | `Le of int | `Lt of int ] ->
  t ->
  key ->
  init:'a ->
  f:(key -> tree -> 'a -> 'a Lwt.t) ->
  'a Lwt.t

Sourcemodule Tree : sig ... end