Test.QuickSpec.Approximate

Documentation

newtype Plug

Constructors

Plug

Fields

unPlug :: forall a. Partial a => Gen a -> Gen a

type GP = ReaderT Plug Gen

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

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

Methods

unlifted :: a -> GP a

Instances

Partial Bool

Partial Int

Partial Integer

Partial ()

Partial C

Partial B

Partial A

Partial a => Partial [a]

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

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

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

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

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