haskell-nix/hnix-store
1
1
Fork 0
mirror of https://github.com/haskell-nix/hnix-store.git synced 2024-09-11 18:05:56 +03:00
Code Issues Projects Releases Wiki Activity

tests: add Arbitrary (Some HashAlgo)

Browse Source
This commit is contained in:
sorki 2023-11-30 06:06:25 +01:00
parent 9b16abbac7
commit 2e4e83c578
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
hnix-store-tests/src/System/Nix/Arbitrary/Hash.hs
View File

@ -6,6 +6,7 @@ module System.Nix.Arbitrary.Hash where
import Data.ByteString (ByteString)
import Crypto.Hash (Digest, MD5(..), SHA1(..), SHA256(..), SHA512(..))
import Data.Dependent.Sum (DSum((:=>)))
import Data.Some (Some(Some))
import System.Nix.Hash (HashAlgo(..))
import Test.QuickCheck (Arbitrary(arbitrary), oneof)
@ -36,3 +37,14 @@ instance Arbitrary (DSum HashAlgo Digest) where
, (HashAlgo_SHA256 :=>) <$> arbitrary
, (HashAlgo_SHA512 :=>) <$> arbitrary
]
instance Arbitrary (Some HashAlgo) where
arbitrary =
oneof
$ pure
<$> [
Some HashAlgo_MD5
, Some HashAlgo_SHA1
, Some HashAlgo_SHA256
, Some HashAlgo_SHA512
]