package http_async
-
http_async
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Elt : sig ... end
include Core.Set_intf.S_plain with module Elt := Elt
type t = (Elt.t, Elt.comparator_witness) Base.Set.t
include Ppx_compare_lib.Comparable.S with type t := t
include Ppx_compare_lib.Equal.S with type t := t
include Core.Set_intf.Creators_generic
with type ('a, 'b) set := ('a, 'b) Base.Set.t
with type ('a, 'b) t := t
with type ('a, 'b) tree :=
(Elt.t, Elt.comparator_witness) Base.Set.Using_comparator.Tree.t
with type 'a elt := Elt.t
with type 'c cmp := Elt.comparator_witness
with type ('a, 'b, 'c) create_options :=
('a, 'b, 'c) Base.Set.Without_comparator.t
include Base.Set.Creators_generic
with type ('a, 'b) set := ('a, 'b) Base.Set.t
with type ('a, 'b) t := t
with type ('a, 'b) tree :=
(Elt.t, Elt.comparator_witness) Base.Set.Using_comparator.Tree.t
with type 'a elt := Elt.t
with type 'c cmp := Elt.comparator_witness
with type ('a, 'b, 'c) create_options :=
('a, 'b, 'c) Base.Set.Without_comparator.t
val empty : ('a, 'cmp, t) Base.Set.Without_comparator.t
val singleton : ('a, 'cmp, Elt.t -> t) Base.Set.Without_comparator.t
val union_list : ('a, 'cmp, t list -> t) Base.Set.Without_comparator.t
val of_list : ('a, 'cmp, Elt.t list -> t) Base.Set.Without_comparator.t
val of_sequence :
('a, 'cmp, Elt.t Base.Sequence.t -> t) Base.Set.Without_comparator.t
val of_array : ('a, 'cmp, Elt.t array -> t) Base.Set.Without_comparator.t
val of_sorted_array :
('a, 'cmp, Elt.t array -> t Base.Or_error.t) Base.Set.Without_comparator.t
val of_sorted_array_unchecked :
('a, 'cmp, Elt.t array -> t) Base.Set.Without_comparator.t
val of_increasing_iterator_unchecked :
('a, 'cmp, len:int -> f:(int -> Elt.t) -> t) Base.Set.Without_comparator.t
val stable_dedup_list :
('a, _, Elt.t list -> Elt.t list) Base.Set.Without_comparator.t
val map :
('b, 'cmp, ('a, _) Base.Set.t -> f:('a -> Elt.t) -> t)
Base.Set.Without_comparator.t
The types of map
and filter_map
are subtle. The input set, ('a, _) set
, reflects the fact that these functions take a set of *any* type, with any comparator, while the output set, ('b, 'cmp) t
, reflects that the output set has the particular 'cmp
of the creation function. The comparator can come in one of three ways, depending on which set module is used
Set.map
-- comparator comes as an argumentSet.Poly.map
-- comparator is polymorphic comparisonFoo.Set.map
-- comparator is Foo.comparator
val filter_map :
('b, 'cmp, ('a, _) Base.Set.t -> f:('a -> Elt.t option) -> t)
Base.Set.Without_comparator.t
val of_tree :
('a,
'cmp,
(Elt.t, Elt.comparator_witness) Base.Set.Using_comparator.Tree.t ->
t)
Base.Set.Without_comparator.t
val of_hash_set :
('a, 'cmp, Elt.t Core.Hash_set.t -> t) Base.Set.Without_comparator.t
val of_hashtbl_keys :
('a, 'cmp, (Elt.t, _) Core.Hashtbl.t -> t) Base.Set.Without_comparator.t
val of_map_keys : (Elt.t, _, Elt.comparator_witness) Base.Map.t -> t
Never requires a comparator because it can get one from the input Map.t
.
val quickcheck_generator :
('a,
'cmp,
Elt.t Core.Quickcheck.Generator.t ->
t Core.Quickcheck.Generator.t)
Base.Set.Without_comparator.t
module Provide_of_sexp (Elt : sig ... end) : sig ... end
module Provide_bin_io
(Elt : sig ... end) :
Core.Set_intf.Binable.S with type t := t
module Provide_hash (Elt : Base.Hasher.S with type t := Elt.t) : sig ... end
val quickcheck_observer :
Elt.t Core.Quickcheck.Observer.t ->
t Core.Quickcheck.Observer.t
val quickcheck_shrinker :
Elt.t Core.Quickcheck.Shrinker.t ->
t Core.Quickcheck.Shrinker.t
include Core.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t