package accessor_base

  1. Overview
  2. Docs

Module Accessor_base.SetSource

Sourceval mem : 'key -> (_, Base.bool, ('key, _) Base.Set.t, [< Accessor_base__.Import.field ]) Accessor.t

Access whether a key is present in the set. true means the key is present, and false means it is absent.

Sourceval at : 'key -> (_, Base.bool, ('key, _) Base.Set.t, [< Accessor_base__.Import.field ]) Accessor.t
  • deprecated [since 2020-09] Use [mem] instead of [at]
Sourceval memi : 'key -> ('key * _, Base.bool, ('key, _) Base.Set.t, [< Accessor_base__.Import.field ]) Accessor.Indexed.t

The indexed version of mem adds the given key to the index.

Sourceval ati : 'key -> ('key * _, Base.bool, ('key, _) Base.Set.t, [< Accessor_base__.Import.field ]) Accessor.Indexed.t
  • deprecated [since 2020-09] Use [memi] instead of [ati]
Sourceval found : 'key -> (_, Base.unit, ('key, _) Base.Set.t, [< Accessor_base__.Import.optional ]) Accessor.t

Access () iff the set contains the given key.

Sourceval foundi : 'key -> ('key * _, Base.unit, ('key, _) Base.Set.t, [< Accessor_base__.Import.optional ]) Accessor.Indexed.t

The indexed version of found adds the given key to the index.

Sourceval each : ('i -> 'key -> _, 'i -> ('key, 'cmp) Base.Set.t -> _, [< Accessor_base__.Import.many_getter ]) Accessor.General.t

Access every element in a set.

Sourceval empty_default : ('k1, 'cmp1) Base.Comparator.Module.t -> ('i -> ('k1, 'cmp1) Base.Set.t -> ('k2, 'cmp2) Base.Set.t, 'i -> ('k1, 'cmp1) Base.Set.t Base.option -> ('k2, 'cmp2) Base.Set.t Base.option, [< Accessor_base__.Import.isomorphism ]) Accessor.General.t

Treat None equivalently with the empty set. This accessor is not well-behaved, as it violates construct (get at) = at:

construct (get (Some Foo.Set.empty)) = construct Foo.Set.empty = None

Sourceval of_accessor : ('a, 'cmp) Base.Comparator.Module.t -> (Base.unit -> 'a -> _, Base.unit -> 'at -> _, [> Accessor_base__.Import.many_getter ]) Accessor.General.t -> 'at -> ('a, 'cmp) Base.Set.t

of_accessor (module M) accessor x is a M.Set.t that contains everything accessed by accessor in x.

OCaml

Innovation. Community. Security.