Test.Hspec.SmallCheck
Contents
property :: Testable IO a => a -> Property IO Source #
Methods
test :: IO () -> Property IO #
Associated Types
type Arg (Property IO) #
evaluateExample :: Property IO -> Params -> (ActionWith (Arg (Property IO)) -> IO ()) -> ProgressCallback -> IO Result #