refactor: Predicates.isSome

Author: IgorErin

src/GraphBLAS-sharp.Backend/Algorithms/BFS.fs

@@ -33,7 +33,7 @@ module BFS =
             DenseVector.standardFillSubVectorTo<int, int> clContext workGroupSize
 
         let containsNonZero =
-            ClArray.exists clContext workGroupSize Predicates.containsNonZero
+            ClArray.exists clContext workGroupSize Predicates.isSome
 
         fun (queue: MailboxProcessor<Msg>) (matrix: ClMatrix.CSR<'a>) (source: int) ->
             let vertexCount = matrix.RowCount

src/GraphBLAS-sharp.Backend/Quotes/Predicates.fs

@@ -1,7 +1,7 @@
 namespace GraphBLAS.FSharp.Backend.Quotes
 
 module Predicates =
-    let containsNonZero<'a> =
+    let isSome<'a> =
         <@ fun (item: 'a option) ->
             match item with
             | Some _ -> true

tests/GraphBLAS-sharp.Tests/Common/Exists.fs

@@ -47,49 +47,49 @@ let testFixtures =
         sprintf "Correctness on %s, %A" datatype Dense
 
     [ let containsNonZeroInt =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<int> ((=) 0) containsNonZeroInt
       |> testPropertyWithConfig config (getCorrectnessTestName "int")
 
       let containsNonZeroByte =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<byte> ((=) 0uy) containsNonZeroByte
       |> testPropertyWithConfig config (getCorrectnessTestName "byte")
 
       let containsNonZeroFloat =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<float> ((=) 0.0) containsNonZeroFloat
       |> testPropertyWithConfig config (getCorrectnessTestName "float")
 
       let containsNonZeroBool =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<bool> ((=) false) containsNonZeroBool
       |> testPropertyWithConfig config (getCorrectnessTestName "bool")
 
       let containsNonZeroInt =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<int> ((=) 0) containsNonZeroInt (Array.create 1000 0)
       |> testPropertyWithConfig config (getCorrectnessTestName "int zeros")
 
       let containsNonZeroByte =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<byte> ((=) 0uy) containsNonZeroByte (Array.create 1000 0uy)
       |> testPropertyWithConfig config (getCorrectnessTestName "byte zeros")
 
       let containsNonZeroFloat =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<float> ((=) 0.0) containsNonZeroFloat (Array.create 1000 0.0)
       |> testPropertyWithConfig config (getCorrectnessTestName "float zeros")
 
       let containsNonZeroBool =
-          ClArray.exists context wgSize Predicates.containsNonZero
+          ClArray.exists context wgSize Predicates.isSome
 
       correctnessGenericTest<bool> ((=) false) containsNonZeroBool (Array.create 1000 false)
       |> testPropertyWithConfig config (getCorrectnessTestName "bool zeros") ]