1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
import Control.Applicative ((<*>))
import Data.Functor ((<$>))
import Data.ByteString (ByteString)
import qualified Data.ByteString.Char8 as BC8
import System.Random
import Test.QuickCheck
import Criterion
import Criterion.Main
import Data.UUID
instance Arbitrary UUID where
arbitrary =
fromWords <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary
-- Testing what we do in the codebase
fromASCIIBytes_naive :: ByteString -> Maybe UUID
fromASCIIBytes_naive = fromString . BC8.unpack
toASCIIBytes_naive :: UUID -> ByteString
toASCIIBytes_naive = BC8.pack . toString
randomUUIDs :: IO [UUID]
randomUUIDs = sample' arbitrary
randomCorrect :: IO [String]
randomCorrect = map toString <$> randomUUIDs
randomSlightlyWrong :: IO [String]
randomSlightlyWrong = mapM screw =<< randomCorrect
where
screw s = do
ix <- randomRIO (0, length s - 1)
return (take ix s ++ "x" ++ drop (ix + 1) s)
randomVeryWrong :: IO [String]
randomVeryWrong = sample' arbitrary
main :: IO ()
main = do
uuids <- randomUUIDs
correct <- randomCorrect
let correctBytes = map BC8.pack correct
slightlyWrong <- randomSlightlyWrong
let slightlyWrongBytes = map BC8.pack slightlyWrong
veryWrong <- randomVeryWrong
let veryWrongBytes = map BC8.pack veryWrong
defaultMain
[ bgroup "decoding"
[ bcompare
[ bgroup "correct"
[ bench "fromASCIIBytes" (nf (map fromASCIIBytes) correctBytes)
, bench "fromString" (nf (map fromString) correct)
, bench "fromASCIIBytes_naive" (nf (map fromASCIIBytes_naive) correctBytes)
]
]
, bcompare
[ bgroup "slightly wrong"
[ bench "fromASCIIBytes" (nf (map fromASCIIBytes) slightlyWrongBytes)
, bench "fromString" (nf (map fromString) slightlyWrong)
, bench "fromASCIIBytes_naive" (nf (map fromASCIIBytes_naive) slightlyWrongBytes)
]
]
, bcompare
[ bgroup "very wrong"
[ bench "fromASCIIBytes" (nf (map fromASCIIBytes) veryWrongBytes)
, bench "fromString" (nf (map fromString) veryWrong)
, bench "fromASCIIBytes_naive" (nf (map fromASCIIBytes_naive) veryWrongBytes)
]
]
]
, bcompare
[ bgroup "encoding"
[ bench "toASCIIBytes" (nf (map toASCIIBytes) uuids)
, bench "toString" (nf (map toString) uuids)
, bench "toASCIIBytes_naive" (nf (map toASCIIBytes_naive) uuids)
]
]
]
|
