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).

Minimal complete definition

Nothing

Methods

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

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

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

Instances

ArbitraryF []

Defined in Data.Comp.Arbitrary

Methods

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

arbitraryF :: Arbitrary v => Gen [v]

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

ArbitraryF Maybe

Defined in Data.Comp.Arbitrary

Methods

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

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

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

Arbitrary b => ArbitraryF ((,) b)

Defined in Data.Comp.Arbitrary

Methods

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

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

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

ArbitraryF f => ArbitraryF (Context f)

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

Defined in Data.Comp.Arbitrary

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]

(Arbitrary b, Arbitrary c) => ArbitraryF ((,,) b c)

Defined in Data.Comp.Arbitrary

Methods

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

arbitraryF :: Arbitrary v => Gen (b, c, v)

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

(Arbitrary b, Arbitrary c, Arbitrary d) => ArbitraryF ((,,,) b c d)

Defined in Data.Comp.Arbitrary

Methods

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

arbitraryF :: Arbitrary v => Gen (b, c, d, v)

shrinkF :: Arbitrary v => (b, c, d, v) -> [(b, c, d, v)]

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

Defined in Data.Comp.Arbitrary

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.

Defined in Data.Comp.Arbitrary

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 b, Arbitrary c, Arbitrary d, Arbitrary e) => ArbitraryF ((,,,,) b c d e)

Defined in Data.Comp.Arbitrary

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, v)

shrinkF :: Arbitrary v => (b, c, d, e, v) -> [(b, c, d, e, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => ArbitraryF ((,,,,,) b c d e f)

Defined in Data.Comp.Arbitrary

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, v) -> [(b, c, d, e, f, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => ArbitraryF ((,,,,,,) b c d e f g)

Defined in Data.Comp.Arbitrary

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, v) -> [(b, c, d, e, f, g, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => ArbitraryF ((,,,,,,,) b c d e f g h)

Defined in Data.Comp.Arbitrary

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, h, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, h, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, h, v) -> [(b, c, d, e, f, g, h, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => ArbitraryF ((,,,,,,,,) b c d e f g h i)

Defined in Data.Comp.Arbitrary

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, h, i, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, h, i, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, h, i, v) -> [(b, c, d, e, f, g, h, i, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => ArbitraryF ((,,,,,,,,,) b c d e f g h i j)

Defined in Data.Comp.Arbitrary

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, h, i, j, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, h, i, j, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, h, i, j, v) -> [(b, c, d, e, f, g, h, i, j, 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 b => ArbitraryF ((,) b)

Methods

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

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

shrinkF :: Arbitrary v => (b, v) -> [(b, 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 b, Arbitrary c) => ArbitraryF ((,,) b c)

Methods

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

arbitraryF :: Arbitrary v => Gen (b, c, v)

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

(Arbitrary b, Arbitrary c, Arbitrary d) => ArbitraryF ((,,,) b c d)

Methods

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

arbitraryF :: Arbitrary v => Gen (b, c, d, v)

shrinkF :: Arbitrary v => (b, c, d, v) -> [(b, c, d, 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 b, Arbitrary c, Arbitrary d, Arbitrary e) => ArbitraryF ((,,,,) b c d e)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, v)

shrinkF :: Arbitrary v => (b, c, d, e, v) -> [(b, c, d, e, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => ArbitraryF ((,,,,,) b c d e f)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, v) -> [(b, c, d, e, f, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => ArbitraryF ((,,,,,,) b c d e f g)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, v) -> [(b, c, d, e, f, g, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => ArbitraryF ((,,,,,,,) b c d e f g h)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, h, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, h, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, h, v) -> [(b, c, d, e, f, g, h, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => ArbitraryF ((,,,,,,,,) b c d e f g h i)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, h, i, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, h, i, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, h, i, v) -> [(b, c, d, e, f, g, h, i, v)]

(Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => ArbitraryF ((,,,,,,,,,) b c d e f g h i j)

Methods

arbitraryF' :: Arbitrary v => [(Int, Gen (b, c, d, e, f, g, h, i, j, v))]

arbitraryF :: Arbitrary v => Gen (b, c, d, e, f, g, h, i, j, v)

shrinkF :: Arbitrary v => (b, c, d, e, f, g, h, i, j, v) -> [(b, c, d, e, f, g, h, i, j, v)]