Test.QuickCheck.HigherOrder.Internal.Function

Representation of (higher-order) functions.

Instances for (:->)

concrete :: (Arbitrary a, Show a) => Concrete a

Constructible instance for (->)

Orphan instances

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

Methods

coarbitrary :: Co Gen (a -> b) r

(CoArbitrary Gen a, Arbitrary r) => Arbitrary (a :-> r)

Methods

arbitrary :: Gen (a :-> r)

shrink :: (a :-> r) -> [a :-> r]

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

Associated Types

type Repr (a -> b) :: Type

Methods

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