github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00
Code Issues Projects Releases Wiki Activity

Add an instance over empty records.

Browse Source
This commit is contained in:
Rob Rix 2016-07-13 15:28:58 -04:00
parent 636fbd102b
commit 8b9e92440f
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Data/Record.hs
View File

@ -65,3 +65,8 @@ instance (Arbitrary field, Arbitrary (Record fields)) => Arbitrary (Record (fiel
arbitrary = RCons <$> arbitrary <*> arbitrary
shrink (RCons h t) = RCons <$> shrink h <*> shrink t
instance Arbitrary (Record '[]) where
arbitrary = pure RNil
shrink _ = []