[Home] Type Microsoft.FSharp.Compatibility.OCaml.Set.Provider


A collection of operations for creating and using sets based on a particular comparison function. The 'tag' type parameter is used to track information about the comparison function.

Full Type Signature

type Provider<'a,'tag when 'tag :> IComparer<'a>> =
  {empty: Set<'a,'tag>;
   is_empty: Set<'a,'tag> -> bool;
   mem: 'a -> Set<'a,'tag> -> bool;
   add: 'a -> Set<'a,'tag> -> Set<'a,'tag>;
   singleton: 'a -> Set<'a,'tag>;
   remove: 'a -> Set<'a,'tag> -> Set<'a,'tag>;
   union: Set<'a,'tag> -> Set<'a,'tag> -> Set<'a,'tag>;
   inter: Set<'a,'tag> -> Set<'a,'tag> -> Set<'a,'tag>;
   diff: Set<'a,'tag> -> Set<'a,'tag> -> Set<'a,'tag>;
   iter: ('a -> unit) -> Set<'a,'tag> -> unit;
   elements: Set<'a,'tag> -> 'a list;
   equal: Set<'a,'tag> -> Set<'a,'tag> -> bool;
   subset: Set<'a,'tag> -> Set<'a,'tag> -> bool;
   compare: Set<'a,'tag> -> Set<'a,'tag> -> int;
   for_all: ('a -> bool) -> Set<'a,'tag> -> bool;
   exists: ('a -> bool) -> Set<'a,'tag> -> bool;
   filter: ('a -> bool) -> Set<'a,'tag> -> Set<'a,'tag>;
   partition: ('a -> bool) -> Set<'a,'tag> -> Set<'a,'tag> * Set<'a,'tag>;
   fold: 'b. ('a -> 'b -> 'b) -> Set<'a,'tag> -> 'b -> 'b;
   cardinal: Set<'a,'tag> -> int;
   min_elt: Set<'a,'tag> -> 'a;
   max_elt: Set<'a,'tag> -> 'a;
   choose: Set<'a,'tag> -> 'a;}

See Also

Microsoft.FSharp.Compatibility.OCaml.Set


Documentation for assembly FSharp.Compatibility, version 1.9.4.19, generated using F# version 1.9.4.19