Skip to content

Commit a5763c9

Browse files
committed
Add Testable (Gen prop) instance
1 parent 6bae4fc commit a5763c9

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/Test/QuickCheck.purs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -138,6 +138,9 @@ instance testableBoolean :: Testable Boolean where
138138
instance testableFunction :: (Arbitrary t, Testable prop) => Testable (t -> prop) where
139139
test f = arbitrary >>= test <<< f
140140

141+
instance testableGen :: Testable prop => Testable (Gen prop) where
142+
test = flip bind test
143+
141144
-- | The result of a test: success or failure (with an error message).
142145
data Result = Success | Failed String
143146

0 commit comments

Comments
 (0)