[QuickCheck] MonadIO instance for PropertyM

Edsko de Vries edsko at well-typed.com
Fri Mar 28 17:27:27 GMT 2014


Heya,

This seems like it might be useful for generally:

instance MonadIO m => MonadIO (PropertyM m) where
  liftIO = run . liftIO

Edsko




More information about the QuickCheck mailing list