Data.Comp.Arbitrary

This module defines generation of arbitrary values for signatures, which lifts to generating arbitrary terms.

Documentation

class ArbitraryF f where

Signature arbitration. An instance ArbitraryF f gives rise to an instance Arbitrary (Term f).

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (f v))]

arbitraryF :: Arbitrary v => Gen (f v)

shrinkF :: Arbitrary v => f v -> [f v]

Orphan instances

ArbitraryF []

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen [v])]

arbitraryF :: Arbitrary v => Gen [v]

shrinkF :: Arbitrary v => [v] -> [[v]]

ArbitraryF Maybe

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (Maybe v))]

arbitraryF :: Arbitrary v => Gen (Maybe v)

shrinkF :: Arbitrary v => Maybe v -> [Maybe v]

ArbitraryF f => Arbitrary (Term f)

This lifts instances of ArbitraryF to instances of Arbitrary for the corresponding term type.

Methods

arbitrary :: Gen (Term f)

shrink :: Term f -> [Term f]

Arbitrary b0 => ArbitraryF ((,) b0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, v))]

arbitraryF :: Arbitrary v => Gen (b0, v)

shrinkF :: Arbitrary v => (b0, v) -> [(b0, v)]

ArbitraryF f => ArbitraryF (Context f)

This lifts instances of ArbitraryF to instances of ArbitraryF for the corresponding context functor.

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (Context f v))]

arbitraryF :: Arbitrary v => Gen (Context f v)

shrinkF :: Arbitrary v => Context f v -> [Context f v]

(ArbitraryF f, Arbitrary a) => Arbitrary (Context f a)

This lifts instances of ArbitraryF to instances of Arbitrary for the corresponding context type.

Methods

arbitrary :: Gen (Context f a)

shrink :: Context f a -> [Context f a]

(Arbitrary b0, Arbitrary c0) => ArbitraryF ((,,) b0 c0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, v)

shrinkF :: Arbitrary v => (b0, c0, v) -> [(b0, c0, v)]

(Arbitrary b0, Arbitrary c0, Arbitrary d0) => ArbitraryF ((,,,) b0 c0 d0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, v) -> [(b0, c0, d0, v)]

(ArbitraryF f, Arbitrary p) => ArbitraryF ((:&:) * f p)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen ((* :&: f) p v))]

arbitraryF :: Arbitrary v => Gen ((* :&: f) p v)

shrinkF :: Arbitrary v => (* :&: f) p v -> [(* :&: f) p v]

(ArbitraryF f, ArbitraryF g) => ArbitraryF ((:+:) * f g)

Instances of ArbitraryF are closed under forming sums.

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen ((* :+: f) g v))]

arbitraryF :: Arbitrary v => Gen ((* :+: f) g v)

shrinkF :: Arbitrary v => (* :+: f) g v -> [(* :+: f) g v]

(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0) => ArbitraryF ((,,,,) b0 c0 d0 e0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, e0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, e0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, e0, v) -> [(b0, c0, d0, e0, v)]

(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0) => ArbitraryF ((,,,,,) b0 c0 d0 e0 f0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, e0, f0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, e0, f0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, e0, f0, v) -> [(b0, c0, d0, e0, f0, v)]

(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0) => ArbitraryF ((,,,,,,) b0 c0 d0 e0 f0 g0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, e0, f0, g0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, e0, f0, g0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, e0, f0, g0, v) -> [(b0, c0, d0, e0, f0, g0, v)]

(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0, Arbitrary h0) => ArbitraryF ((,,,,,,,) b0 c0 d0 e0 f0 g0 h0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, e0, f0, g0, h0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, e0, f0, g0, h0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, e0, f0, g0, h0, v) -> [(b0, c0, d0, e0, f0, g0, h0, v)]

(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0, Arbitrary h0, Arbitrary i0) => ArbitraryF ((,,,,,,,,) b0 c0 d0 e0 f0 g0 h0 i0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, e0, f0, g0, h0, i0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, e0, f0, g0, h0, i0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, e0, f0, g0, h0, i0, v) -> [(b0, c0, d0, e0, f0, g0, h0, i0, v)]

(Arbitrary b0, Arbitrary c0, Arbitrary d0, Arbitrary e0, Arbitrary f0, Arbitrary g0, Arbitrary h0, Arbitrary i0, Arbitrary j0) => ArbitraryF ((,,,,,,,,,) b0 c0 d0 e0 f0 g0 h0 i0 j0)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b0, c0, d0, e0, f0, g0, h0, i0, j0, v))]

arbitraryF :: Arbitrary v => Gen (b0, c0, d0, e0, f0, g0, h0, i0, j0, v)

shrinkF :: Arbitrary v => (b0, c0, d0, e0, f0, g0, h0, i0, j0, v) -> [(b0, c0, d0, e0, f0, g0, h0, i0, j0, v)]