github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity

Shrink arbitrary records.

Browse Source
This commit is contained in:
Rob Rix 2016-06-23 09:46:44 -04:00
parent 656d8318ad
commit 9b8e9305e4
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Record/Arbitrary.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DataKinds, GADTs #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Record.Arbitrary where
@ -8,3 +8,5 @@ import Test.QuickCheck
instance Arbitrary fields => Arbitrary (Record '[fields]) where
arbitrary = RCons <$> arbitrary <*> pure RNil
shrink (RCons h t) = RCons <$> shrink h <*> pure t