package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

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

Module Sized.MakeSizedSetSource

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

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
Sourceval 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
Sourceval 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
Sourceval 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
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