Lysxia/generic-random
1
1
Fork 0
mirror of https://github.com/Lysxia/generic-random.git synced 2024-10-05 13:27:12 +03:00
Code Issues Projects Releases Wiki Activity

test: Add use of AndShrinking

Browse Source
This commit is contained in:
Li-yao Xia 2021-07-09 16:15:53 -04:00 committed by Xia Li-yao
parent a3f5e45b75
commit 6f6b439119
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/Inspect/DerivingVia.hs
View File

@ -1,15 +1,15 @@
{-# OPTIONS_GHC -dsuppress-all #-}
{-# LANGUAGE
DataKinds,
DeriveGeneric,
DerivingVia,
TypeOperators,
TemplateHaskell
#-}
import GHC.Generics (Generic)
import Test.QuickCheck (Arbitrary(arbitrary), Gen)
import Test.Inspection (inspect, (===))
import Test.Inspection (inspect, (==-))
import Generic.Random
@ -23,7 +23,11 @@ arbT = genericArbitrary (1 % 2 % 3 % ())
arbT' :: Gen T
arbT' = arbitrary
data T1 = A1 | B1 | C1 Int [Bool]
deriving Generic
deriving Arbitrary via (GenericArbitrary '[1,2,3] `AndShrinking` T1)
main :: IO ()
main = pure ()
inspect $ 'arbT === 'arbT'
inspect $ 'arbT ==- 'arbT'