add: Predicates.containsNonZero

Author: IgorErin

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

@@ -33,13 +33,7 @@ module BFS =
             DenseVector.standardFillSubVectorTo<int, int> clContext workGroupSize
 
         let containsNonZero =
-            ClArray.exists
-                clContext
-                workGroupSize
-                <@ fun (item: int option) ->
-                    match item with
-                    | Some _ -> true
-                    | _ -> false @>
+            ClArray.exists clContext workGroupSize Predicates.containsNonZero
 
         fun (queue: MailboxProcessor<Msg>) (matrix: ClCSRMatrix<'a>) (source: int) ->
             let vertexCount = matrix.RowCount

src/GraphBLAS-sharp.Backend/GraphBLAS-sharp.Backend.fsproj

@@ -23,6 +23,7 @@
     <Compile Include="Quotes/Mask.fs" />
     <Compile Include="Quotes/SubSum.fs" />
     <Compile Include="Quotes\PreparePositions.fs" />
+    <Compile Include="Quotes\Predicates.fs" />
     <Compile Include="Common/Scatter.fs" />
     <Compile Include="Common/Utils.fs" />
     <Compile Include="Common/Sum.fs" />

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

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

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

@@ -8,7 +8,7 @@ open GraphBLAS.FSharp.Tests.Utils
 open Context
 open Brahma.FSharp
 open GraphBLAS.FSharp.Backend.Objects
-open GraphBLAS.FSharp.Backend.Vector.Dense
+open GraphBLAS.FSharp.Backend.Quotes
 
 let logger =
     Log.create "Vector.containsNonZero.Tests"
@@ -38,12 +38,6 @@ let correctnessGenericTest<'a when 'a: struct and 'a: equality> isZero containsN
         $"The results should be the same, vector : {vector}"
         |> Expect.equal result (Array.exists (not << isZero) array)
 
-let predicate<'a when 'a: struct> =
-    <@ fun (item: 'a option) ->
-        match item with
-        | Some _ -> true
-        | _ -> false @>
-
 let testFixtures =
     let config = defaultConfig
 
@@ -52,42 +46,42 @@ let testFixtures =
     let getCorrectnessTestName datatype =
         sprintf "Correctness on %s, %A" datatype Dense
 
-    [ let containsNonZeroInt = ClArray.exists context wgSize predicate
+    [ let containsNonZeroInt = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<int> ((=) 0) containsNonZeroInt
       |> testPropertyWithConfig config (getCorrectnessTestName "int")
 
-      let containsNonZeroByte = ClArray.exists context wgSize predicate
+      let containsNonZeroByte = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<byte> ((=) 0uy) containsNonZeroByte
       |> testPropertyWithConfig config (getCorrectnessTestName "byte")
 
-      let containsNonZeroFloat = ClArray.exists context wgSize predicate
+      let containsNonZeroFloat = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<float> ((=) 0.0) containsNonZeroFloat
       |> testPropertyWithConfig config (getCorrectnessTestName "float")
 
-      let containsNonZeroBool = ClArray.exists context wgSize predicate
+      let containsNonZeroBool = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<bool> ((=) false) containsNonZeroBool
       |> testPropertyWithConfig config (getCorrectnessTestName "bool")
 
-      let containsNonZeroInt = ClArray.exists context wgSize predicate
+      let containsNonZeroInt = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<int> ((=) 0) containsNonZeroInt (Array.create 1000 0)
       |> testPropertyWithConfig config (getCorrectnessTestName "int zeros")
 
-      let containsNonZeroByte = ClArray.exists context wgSize predicate
+      let containsNonZeroByte = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<byte> ((=) 0uy) containsNonZeroByte (Array.create 1000 0uy)
       |> testPropertyWithConfig config (getCorrectnessTestName "byte zeros")
 
-      let containsNonZeroFloat = ClArray.exists context wgSize predicate
+      let containsNonZeroFloat = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<float> ((=) 0.0) containsNonZeroFloat (Array.create 1000 0.0)
       |> testPropertyWithConfig config (getCorrectnessTestName "float zeros")
 
-      let containsNonZeroBool = ClArray.exists context wgSize predicate
+      let containsNonZeroBool = ClArray.exists context wgSize Predicates.containsNonZero
 
       correctnessGenericTest<bool> ((=) false) containsNonZeroBool (Array.create 1000 false)
       |> testPropertyWithConfig config (getCorrectnessTestName "bool zeros") ]