Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.QuickCheck
Documentation
module
Test.QuickCheck
isSuccess
::
Result
->
Bool
Source
quickCheck'
::
Testable
prop => prop ->
IO
Bool
Source
quickCheckWith'
::
Testable
prop =>
Args
-> prop ->
IO
Bool
Source
Produced by
Haddock
version 2.6.0