hspec-smallcheck-0.5.2: SmallCheck support for the Hspec testing framework

Safe HaskellNone
LanguageHaskell2010

Test.Hspec.SmallCheck

Contents

Documentation

property :: Testable IO a => a -> Property IO Source #

Orphan instances

Testable IO (IO ()) Source # 
Instance details

Methods

test :: IO () -> Property IO

Example (Property IO) Source # 
Instance details

Associated Types

type Arg (Property IO) :: Type

Methods

evaluateExample :: Property IO -> Params -> (ActionWith (Arg (Property IO)) -> IO ()) -> ProgressCallback -> IO Result