[QuickCheck] MonadIO instance for PropertyM

[Nick Smallbone]

Hi Edsko,

Good idea! I've just added these.

Nick

On Friday 28 March, 2014 at 05:40 pm, Edsko de Vries wrote:
> .. And another one:
> 
> instance MonadTrans PropertyM where
>   lift = run
> 
> On Mar 28, 2014, at 5:27 PM, Edsko de Vries <edsko at well-typed.com> wrote:
> 
> > Heya,
> > 
> > This seems like it might be useful for generally:
> > 
> > instance MonadIO m => MonadIO (PropertyM m) where
> >  liftIO = run . liftIO
> > 
> > Edsko
> > 
> 
> 
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck