quickspec-0.9.6: Equational laws for free!

Test.QuickSpec.Approximate

newtype Plug Source

Constructors

Fields

type GP = ReaderT Plug GenSource

plug :: Partial a => GP a -> GP aSource

class (Typeable a, Arbitrary a, Eq a) => Partial a whereSource

Methods

unlifted :: a -> GP aSource

Instances

lifted :: Partial a => a -> GP aSource

approximate :: Partial a => (forall a. Partial a => a -> Maybe a) -> QCGen -> Int -> a -> aSource

pobserver :: (Ord a, Partial a) => a -> SigSource

genPartial :: Partial a => a -> Gen aSource

pvars :: (Ord a, Partial a) => [String] -> a -> SigSource