1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Futhark.ProfileTests () where
import Data.Map qualified as M
import Data.Text qualified as T
import Futhark.Profile
import Test.Tasty.QuickCheck
printable :: Gen String
printable = getPrintableString <$> arbitrary
arbText :: Gen T.Text
arbText = T.pack <$> printable
instance Arbitrary ProfilingEvent where
arbitrary = ProfilingEvent <$> arbText <*> arbitrary <*> arbText <*> arbitrary
instance Arbitrary ProfilingReport where
arbitrary =
ProfilingReport
<$> arbitrary
<*> (M.fromList <$> listOf ((,) <$> arbText <*> arbitrary))
|
