barecheck-0.2.0.8: QuickCheck implementations for common types

Safe HaskellSafe-Inferred
LanguageHaskell2010

Barecheck.Promote

Description

This module allows for the promote function to be imported correctly from different QuickCheck versions. QuickCheck 2.6 used Test.QuickCheck.Gen.promote; QuickCheck 2.7 uses Test.QuickCheck.Gen.Unsafe.promote. For use with old versions of QuickCheck, Cabal will import a different version of this module from the oldQuickCheck directory.

Synopsis

Documentation

promote :: Monad m => m (Gen a) -> Gen (m a)

Promotes a monadic generator to a generator of monadic values.