snowchecked-0.0.0.3: test/Word32.hs

{-# LANGUAGE TemplateHaskell  #-}
{-# LANGUAGE TypeApplications #-}

module Word32 (tests) where

import           Control.Monad
import           Data.Snowchecked
import           Data.Snowchecked.Encoding.Integral
import           Data.Word
import           Gens
import           Hedgehog

tests :: IO Bool
tests = checkParallel $$(discover)

prop_flakeToWord32ToFlake :: Property
prop_flakeToWord32ToFlake = withDiscards (999999999 :: DiscardLimit) . property $ do
		cfg <- forAll genConfig
		unless (snowcheckedConfigBitCount cfg <= 32) discard
		flake <- forAllFlake' cfg
		let value = fromFlake @Word32 flake
		let result = parseFlake cfg value
		result === Just flake