package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-libs.base/Tezos_base/Sized/MakeSizedSet/index.html

Module `Sized.MakeSizedSet`Source

This module implements a sized-set data-structure.

This module has the same interface as Stdlib.Set but with a different performance trade-off:

The cardinal function is much more efficient, but all other functions are a little bit slower. You should use this module if you need to call the cardinal function often. You should stick to Stdlib.Set otherwise.

Parameters

module Set : Tezos_error_monad.TzLwtreslib.Set.S

Signature

All the types and functions from the underlying Sets are supported.

The functions union and inter are less efficient than TzLwtreslib.Set.S.union and TzLwtreslib.Set.S.inter which should be considered instead, especially in case there are called several times. to_set and of_set can be used for this purpose.

include Tezos_error_monad.TzLwtreslib.Set.S with type elt = Set.elt

Sourcetype elt = Set.elt

Sourcetype t

Sourceval empty : t

Sourceval is_empty : t -> bool

Sourceval mem : elt -> t -> bool

Sourceval add : elt -> t -> t

Sourceval singleton : elt -> t

Sourceval remove : elt -> t -> t

Sourceval union : t -> t -> t

Sourceval inter : t -> t -> t

Sourceval disjoint : t -> t -> bool

Sourceval diff : t -> t -> t

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval subset : t -> t -> bool

Sourceval iter : (elt -> unit) -> t -> unit

Sourceval iter_e : (elt -> (unit, 'trace) result) -> t -> (unit, 'trace) result

Sourceval iter_s : (elt -> unit Lwt.t) -> t -> unit Lwt.t

Sourceval iter_p : (elt -> unit Lwt.t) -> t -> unit Lwt.t

Source

val iter_es : 
  (elt -> (unit, 'trace) result Lwt.t) ->
  t ->
  (unit, 'trace) result Lwt.t

Sourceval map : (elt -> elt) -> t -> t

Sourceval fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a

Source

val fold_e : 
  (elt -> 'a -> ('a, 'trace) result) ->
  t ->
  'a ->
  ('a, 'trace) result

Sourceval fold_s : (elt -> 'a -> 'a Lwt.t) -> t -> 'a -> 'a Lwt.t

Source

val fold_es : 
  (elt -> 'a -> ('a, 'trace) result Lwt.t) ->
  t ->
  'a ->
  ('a, 'trace) result Lwt.t

Sourceval for_all : (elt -> bool) -> t -> bool

Sourceval exists : (elt -> bool) -> t -> bool

Sourceval filter : (elt -> bool) -> t -> t

Sourceval filter_map : (elt -> elt option) -> t -> t

Sourceval partition : (elt -> bool) -> t -> t * t

Sourceval cardinal : t -> int

Sourceval elements : t -> elt list

Sourceval min_elt : t -> elt option

Sourceval min_elt_opt : t -> elt option

Sourceval max_elt : t -> elt option

Sourceval max_elt_opt : t -> elt option

Sourceval choose : t -> elt option

Sourceval choose_opt : t -> elt option

Sourceval split : elt -> t -> t * bool * t

Sourceval find : elt -> t -> elt option

Sourceval find_opt : elt -> t -> elt option

Sourceval find_first : (elt -> bool) -> t -> elt option

Sourceval find_first_opt : (elt -> bool) -> t -> elt option

Sourceval find_last : (elt -> bool) -> t -> elt option

Sourceval find_last_opt : (elt -> bool) -> t -> elt option

Sourceval of_list : elt list -> t

Sourceval to_seq_from : elt -> t -> elt Seq.t

Sourceval to_seq : t -> elt Seq.t

Sourceval to_rev_seq : t -> elt Seq.t

Sourceval add_seq : elt Seq.t -> t -> t

Sourceval of_seq : elt Seq.t -> t

Source

val iter_ep : 
  (elt -> (unit, 'error Tezos_error_monad.TzTrace.trace) result Lwt.t) ->
  t ->
  (unit, 'error Tezos_error_monad.TzTrace.trace) result Lwt.t

Sourceval to_set : t -> Set.t

to_set t returns the set of the sizedset t

Sourceval of_set : Set.t -> t

of_set s returns the sizedset of the set s

On This Page

Parameters
Signature

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.base/Tezos_base/Sized/MakeSizedSet/index.html

Module Sized.MakeSizedSetSource

Parameters

Signature

Module `Sized.MakeSizedSet`Source