Test.QuickCheck.HigherOrder.Internal.Constructible

The Constructible class

class (Arbitrary (Repr a), Show (Repr a)) => Constructible a where

A Constructible type is associated with a type of "finite descriptions" that can be generated, shown (e.g., as counterexamples in QuickCheck), and interpreted as values. This enhances Arbitrary and Show used by vanilla QuickCheck.

The main motivating example is the type of functions, which can be finitely represented by the type (:->) (see also Test.Fun).

It turns out we can define Constructible for just about anything except IO (for now...).

Associated Types

type Repr a

The observable representation of a value.

Methods

fromRepr :: Repr a -> a

Interpret a representation as a value.

Instances

Constructible Bool

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Bool :: Type

Methods

fromRepr :: Repr Bool -> Bool

Constructible Char

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Char :: Type

Methods

fromRepr :: Repr Char -> Char

Constructible Double

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Double :: Type

Methods

fromRepr :: Repr Double -> Double

Constructible Int

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Int :: Type

Methods

fromRepr :: Repr Int -> Int

Constructible Integer

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Integer :: Type

Methods

fromRepr :: Repr Integer -> Integer

Constructible Ordering

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Ordering :: Type

Methods

fromRepr :: Repr Ordering -> Ordering

Constructible Word

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr Word :: Type

Methods

fromRepr :: Repr Word -> Word

Constructible ()

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr () :: Type

Methods

fromRepr :: Repr () -> ()

Constructible a => Constructible [a]

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr [a] :: Type

Methods

fromRepr :: Repr [a] -> [a]

Constructible a => Constructible (Maybe a)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr (Maybe a) :: Type

Methods

fromRepr :: Repr (Maybe a) -> Maybe a

Constructible a => Constructible (Identity a)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr (Identity a) :: Type

Methods

fromRepr :: Repr (Identity a) -> Identity a

Constructible a => Constructible (Sum a)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr (Sum a) :: Type

Methods

fromRepr :: Repr (Sum a) -> Sum a

(CoArbitrary Gen a, Constructible b) => Constructible (a -> b)

Defined in Test.QuickCheck.HigherOrder.Internal.Function

Associated Types

type Repr (a -> b) :: Type

Methods

fromRepr :: Repr (a -> b) -> a -> b

(Constructible a, Constructible b) => Constructible (Either a b)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr (Either a b) :: Type

Methods

fromRepr :: Repr (Either a b) -> Either a b

(Constructible a, Constructible b) => Constructible (a, b)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr (a, b) :: Type

Methods

fromRepr :: Repr (a, b) -> (a, b)

(CoArbitrary a, Function a, Show a, Constructible b) => Constructible (Fun a b)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Associated Types

type Repr (Fun a b) :: Type

Methods

fromRepr :: Repr (Fun a b) -> Fun a b

The Constructed modifier

data Constructed a

Constructible wrapper with Show and Arbitrary instances that operate on the representation of the argument type.

Deconstruct with the Construct pattern.

This is only useful for property combinators from vanilla QuickCheck, that use the original Testable class instead of Testable' from this library.

Constructors

Constructed (Repr a) a

Instances

Constructible a => Show (Constructed a)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Methods

showsPrec :: Int -> Constructed a -> ShowS

show :: Constructed a -> String

showList :: [Constructed a] -> ShowS

Constructible a => Arbitrary (Constructed a)

Defined in Test.QuickCheck.HigherOrder.Internal.Constructible

Methods

arbitrary :: Gen (Constructed a)

shrink :: Constructed a -> [Constructed a]

pattern Construct :: a -> Constructed a

A unidirectional pattern to deconstruct Constructed values.

mkConstructed :: Constructible a => Repr a -> Constructed a

A smart constructor for constructible values.