package tezos-protocol-006-PsCARTHA

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Set of protocol proposal with corresponding proposer delegate

type context = Raw_context.t

type elt =
  Tezos_protocol_environment_006_PsCARTHA.Protocol_hash.t
  * Tezos_protocol_environment_006_PsCARTHA.Signature.Public_key_hash.t

The type of elements.

val mem : context -> elt -> bool Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Tells if a elt is a member of the set

val add : 
  context ->
  elt ->
  Raw_context.t Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Adds a elt is a member of the set

val del : 
  context ->
  elt ->
  Raw_context.t Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Removes a elt of the set ; does nothing if not a member

val set : 
  context ->
  elt ->
  bool ->
  Raw_context.t Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Adds/Removes a elt of the set

val elements : 
  context ->
  elt list Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Returns the elements of the set, deserialized in a list in no particular order.

val fold : 
  context ->
  init:'a ->
  f:(elt -> 'a -> 'a Tezos_protocol_environment_006_PsCARTHA.Lwt.t) ->
  'a Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Iterates over the elements of the set.

val clear : 
  context ->
  Raw_context.t Tezos_protocol_environment_006_PsCARTHA.Lwt.t

Removes all elements in the set