Add VOption to Fold

Author: gusty

src/FSharpPlus/Control/Foldable.fs

@@ -158,9 +158,15 @@ type Fold =
 
     static member inline FromFoldMap f z t = let (f: _Dual<_Endo<'t>>) = FoldMap.Invoke (_Dual << _Endo << flip f) t in f.Value.Value z
 
-    static member inline Fold (x           , f,             z,     [<Optional>]_impl: Default2) = Seq.fold f z (ToSeq.Invoke x)
+    static member inline Fold (x           , f,             z,     [<Optional>]_impl: Default2) =
+        #if TEST_TRACE
+        Traces.add "Fold Default"
+        #endif
+        Seq.fold f z (ToSeq.Invoke x)
+
     static member inline Fold (x: 'F       , f: 'b->'a->'b, z: 'b, [<Optional>]_impl: Default1) = (^F : (static member Fold : ^F -> _ -> _-> ^b) x, f, z)
     static member        Fold (x: option<_>, f,             z    , [<Optional>]_impl: Fold    ) = match x with Some x -> f z x | _ -> z
+    static member        Fold (x: voption<_>, f,            z    , [<Optional>]_impl: Fold    ) = match x with ValueSome x -> f z x | _ -> z
     static member        Fold (x: Id<_>    , f,             z    , [<Optional>]_impl: Fold    ) = f z x.getValue
     static member        Fold (x: seq<_>   , f,             z    , [<Optional>]_impl: Fold    ) = Seq.fold               f z x
     static member        Fold (x: list<_>  , f,             z    , [<Optional>]_impl: Fold    ) = List.fold              f z x

tests/FSharpPlus.Tests/Folds.fs

@@ -26,9 +26,11 @@ module Folds =
         let r1 = set [1..3] |> fold (+) 0
         let r2 = set [1..3] |> toSeq
         let r3 = ValueSome 1 |> toSeq
+        let r4 = ValueSome 1 |> fold (+) 0
         Assert.AreEqual (6, r1)
         CollectionAssert.AreEqual ([1; 2; 3], r2)
         CollectionAssert.AreEqual ([1], r3)
+        Assert.AreEqual (1, r4)
         #if TEST_TRACE
         CollectionAssert.AreEqual (["ToSeq seq"], Traces.get())
         #endif