+ HashSet operations

Author: gusty

src/FSharpPlus/Control/Functor.fs

@@ -105,7 +105,7 @@ type Map =
     static member Map ((x: string              , f        ), _mthd: Map) = String.map f x
     static member Map ((x: StringBuilder       , f        ), _mthd: Map) = StringBuilder (String.map f (string x))
     static member Map ((x: Set<_>              , f        ), _mthd: Map) = Set.map f x
-    static member Map ((_: Set2<'T>            , _: 'T->'U), _mthd: Map) = Set2<'U>()
+    static member Map ((x: HashSet<_ >         , f        ), _mthd: Map) = HashSet.map f x
 
 
     static member inline Invoke (mapping: 'T->'U) (source: '``Functor<'T>``) : '``Functor<'U>`` = 

src/FSharpPlus/Control/Monad.fs

@@ -167,7 +167,7 @@ type Return =
     static member        Return (_: string         , _: Return  ) = fun (x: char) -> string x : string
     static member        Return (_: StringBuilder  , _: Return  ) = fun (x: char) -> new StringBuilder (string x) : StringBuilder
     static member        Return (_: 'a Set         , _: Return  ) = fun (x: 'a  ) -> Set.singleton x
-    static member        Return (_: 'a Set2        , _: Return  ) = fun (_: 'a  ) -> Set2() : 'a Set2
+    static member        Return (_: 'a HashSet     , _: Return  ) = fun (x: 'a  ) -> HashSet.singleton x
 
 
 type Delay =

src/FSharpPlus/Control/Monoid.fs

@@ -29,6 +29,7 @@ type Plus =
     static member        ``+`` (x: Set<_>            , y                    , [<Optional>]_mthd: Plus    ) = Set.union x y
 
     #if !FABLE_COMPILER
+    static member        ``+`` (x: HashSet<_>        , y                    , [<Optional>]_mthd: Plus    ) = HashSet.union x y
     static member        ``+`` (x: StringBuilder     , y: StringBuilder     , [<Optional>]_mthd: Plus    ) = StringBuilder().Append(x).Append(y)
     static member        ``+`` (_: Id0               , _: Id0               , [<Optional>]_mthd: Plus    ) = Id0 ""    
     static member        ``+`` (x: AggregateException, y: AggregateException, [<Optional>]_mthd: Plus    ) = Exception.add x y

src/FSharpPlus/Control/Numeric.fs

@@ -6,6 +6,7 @@ namespace FSharpPlus.Control
 
 open System.Runtime.InteropServices
 open FSharpPlus.Internals
+open FSharpPlus
 #if FABLE_COMPILER
 /// NOTE
 type OptionalAttribute ()=
@@ -206,14 +207,15 @@ type Zero with
     static member inline Zero (_: Lazy<'a>                  , _: Zero) = let (v: 'a) = Zero.Invoke () in lazy v
     static member        Zero (_: Dictionary<'a,'b>         , _: Zero) = Dictionary<'a,'b> ()
     static member        Zero (_: ResizeArray<'a>           , _: Zero) = ResizeArray () : ResizeArray<'a>
+    static member        Zero (_: HashSet<'a>                    , _: Zero    ) = HashSet.empty : HashSet<'a>
 
 type Zero with
     static member inline Zero (_: ^R                             , _: Default6) = FromInt64.Invoke 0L : ^R
 
     static member inline Zero (_: ^R                             , _: Default5) = Implicit.Invoke 0   : ^R
 
     static member        Zero (_: seq<'a>                        , _: Default4) = Seq.empty      : seq<'a>
-    static member        Zero (_: IEnumerator<'a>                , _: Default4) = FSharpPlus.Enumerator.Empty () : IEnumerator<'a>
+    static member        Zero (_: IEnumerator<'a>                , _: Default4) = Enumerator.Empty () : IEnumerator<'a>
     static member        Zero (_: IDictionary<'a,'b>             , _: Default4) = Dictionary<'a,'b> () :> IDictionary<'a,'b>
     static member        Zero (_: IReadOnlyDictionary<'a,'b>     , _: Default4) = Dictionary<'a,'b> () :> IReadOnlyDictionary<'a,'b>
     static member inline Zero (_: 't                             , _: Default3) = (^t : (static member Empty: ^t) ()) : 't

src/FSharpPlus/Control/ZipApplicative.fs

@@ -61,14 +61,14 @@ type Pure =
     [<CompilerMessage(MessagePure + "ResizeArray<'t>.", Code, IsError = true)>]
     static member        Pure (x: ResizeArray<'a>, _: Pure  ) = Return.Return (x, Unchecked.defaultof<Return>)
 
-    //Restricted
     [<CompilerMessage(MessagePure + "string.", Code, IsError = true)>]
     static member        Pure (_: string         , _: Pure  ) = fun (x: char) -> string x : string
     [<CompilerMessage(MessagePure + "StringBuilder.", Code, IsError = true)>]
     static member        Pure (_: StringBuilder  , _: Pure  ) = fun (x: char) -> new StringBuilder (string x) : StringBuilder
     [<CompilerMessage(MessagePure + "Set.", Code, IsError = true)>]
     static member        Pure (_: 'a Set         , _: Pure  ) = fun (x: 'a  ) -> Set.singleton x
-    static member        Pure (_: 'a Set2        , _: Pure  ) = fun (_: 'a  ) -> Set2() : 'a Set2
+    [<CompilerMessage(MessagePure + "HashSet.", Code, IsError = true)>]
+    static member        Pure (_: 'a HashSet     , _: Pure  ) = fun (x: 'a  ) -> HashSet.singleton x
 
 #endif
 

src/FSharpPlus/Extensions/HashSet.fs

@@ -0,0 +1,57 @@
+namespace FSharpPlus
+
+/// Additional operations on HashSet<'T>
+[<RequireQualifiedAccess>]
+module HashSet =
+    open System.Collections.Generic
+    open FSharpPlus.Internals.Errors
+
+    /// <summary>The empty set for the type 'T.</summary>
+    [<GeneralizableValue>]
+    [<CompiledName("Empty")>]
+    let empty<'T> : HashSet<'T> = HashSet<'T> ()
+
+    /// <summary>The set containing the given element.</summary>
+    /// <param name="value">The value for the set to contain.</param>
+    /// <returns>The set containing <c>value</c>.</returns>
+    [<CompiledName("Singleton")>]
+    let singleton (value: 'T) : HashSet<'T> =
+        let set =
+            #if FABLE_COMPILER
+            HashSet<'T> ()
+            #else
+            HashSet<'T> 1
+            #endif
+        set.Add value |> ignore
+        set
+
+    /// <summary>Computes the union of the two sets.</summary>
+    /// <param name="source1">The first input set.</param>
+    /// <param name="source2">The second input set.</param>
+    /// <returns>The union of <c>set1</c> and <c>set2</c>.</returns>
+    [<CompiledName("Union")>]
+    let union (source1: HashSet<'T>) (source2: HashSet<'T>) : HashSet<'T> =
+        raiseIfNull (nameof source1) source1
+        raiseIfNull (nameof source2) source2
+        let union =
+            #if FABLE_COMPILER
+            HashSet<'T> ()
+            #else
+            HashSet<'T> (max source1.Count source2.Count)
+            #endif
+        for item in source1 do union.Add item |> ignore
+        for item in source2 do union.Add item |> ignore
+        union
+
+    /// <summary>Returns a new collection containing the results of applying the
+    /// given function to each element of the input set.</summary>
+    /// <param name="mapping">The function to transform elements of the input set.</param>
+    /// <param name="source">The input set.</param>
+    /// <returns>A set containing the transformed elements.</returns>
+    [<CompiledName("Map")>]
+    let map (mapping: 'T -> 'U) (source: HashSet<'T>) : HashSet<'U> =
+        raiseIfNull (nameof source) source
+        let result = empty<'U>
+        for item in source do
+            result.Add (mapping item) |> ignore
+        result

src/FSharpPlus/FSharpPlus.fsproj

@@ -50,6 +50,7 @@
     <Compile Include="Extensions/Map.fs" />
     <Compile Include="Extensions/Dictionary.fs" />
     <Compile Include="Extensions/Dict.fs" />
+    <Compile Include="Extensions/HashSet.fs" />
     <Compile Include="Extensions/IReadOnlyDictionary.fs" />
     <Compile Include="Extensions/Enumerator.fs" />
     <Compile Include="Extensions/Task.fs" />

src/FSharpPlus/Internals.fs

@@ -122,9 +122,6 @@ type KeyValuePair2<'TKey, 'TValue> = struct
     new (key, value) = { Key = key; Value = value }
 end
 
-[<Sealed>]
-type Set2<'T when 'T: comparison >() = class end
-
 // BitConverter
 
 #nowarn "9"