LiveCoding.QuickCheck

Documentation

testCell :: Monad m => Cell m (Positive Int) Bool

embed :: Monad m => [a] -> Cell m a b -> m [b]

cellCheck :: (Arbitrary a, Show a, Testable prop) => Cell IO a prop -> IO ()

logTest :: Monad m => Cell m a prop -> Cell (WriterT [prop] m) a ()

liveCheck :: Testable prop => Bool -> LiveProgram (WriterT [prop] IO) -> LiveProgram IO

agreesWith :: (Arbitrary a, Show a, Testable prop) => Cell IO a b -> Cell IO (a, b) prop -> Property

bisimulates :: (Arbitrary a, Show a, Eq b, Show b) => Cell IO a b -> Cell IO a b -> Property

reinitialise :: Cell m a b -> Gen (Cell m a b)

testState :: GenericQ Property -> LiveProgram m -> Property

mkGenericProperty :: Typeable b => (b -> Property) -> GenericQ Property

posSumC :: (Monad m, Num a, Data a) => Cell m a a

Orphan instances

Data a => Data (Positive a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Positive a -> c (Positive a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Positive a)

toConstr :: Positive a -> Constr

dataTypeOf :: Positive a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Positive a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Positive a))

gmapT :: (forall b. Data b => b -> b) -> Positive a -> Positive a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Positive a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Positive a -> r

gmapQ :: (forall d. Data d => d -> u) -> Positive a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Positive a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Positive a -> m (Positive a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Positive a -> m (Positive a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Positive a -> m (Positive a)

(Arbitrary a, Show a, Testable prop) => Testable (Cell IO a prop)

Methods

property :: Cell IO a prop -> Property

propertyForAllShrinkShow :: Gen a0 -> (a0 -> [a0]) -> (a0 -> [String]) -> (a0 -> Cell IO a prop) -> Property