Copyright	(c) Jorge Santiago Alvarez Cuadros, 2015
License	GPL-3
Maintainer	sanjorgek@ciencias.unam.mx
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Test.QuickCheck.Variant

Description

To get random "invalid" and "valid" data

Synopsis

Documentation

class Variant a where Source #

You can define

>>> instance (Varaint a) => Arbitrary a where {arbitrary = oneof [valid, invalid]}

Minimal complete definition

Methods

Instances

Variant a => Variant [a] Source #
Methods valid :: Gen [a] Source # invalid :: Gen [a] Source #
Variant a => Variant (Maybe a) Source #
Methods valid :: Gen (Maybe a) Source # invalid :: Gen (Maybe a) Source #
(Variant a, Variant b) => Variant (Either a b) Source #
Methods valid :: Gen (Either a b) Source # invalid :: Gen (Either a b) Source #
(Variant a, Variant b) => Variant (a, b) Source #
Methods valid :: Gen (a, b) Source # invalid :: Gen (a, b) Source #
(Variant a, Variant b, Variant c) => Variant (a, b, c) Source #
Methods valid :: Gen (a, b, c) Source # invalid :: Gen (a, b, c) Source #