Test.Hspec.SmallCheck

Documentation

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

Orphan instances

Testable IO (IO ())

Methods

test :: IO () -> Property IO

Example (Property IO)

Associated Types

type Arg (Property IO) :: *

Methods

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