Test.QuickCheck.Combinators

Documentation

newtype AtLeast n t a

Generate with a minimum, inclusive size as n :: Nat

Constructors

AtLeast (t a)

Instances

Enum (t a) => Enum (AtLeast n t a)

Eq (t a) => Eq (AtLeast n t a)

Ord (t a) => Ord (AtLeast n t a)

Read (t a) => Read (AtLeast n t a)

Show (t a) => Show (AtLeast n t a)

(UnfoldableR p t, Monoid (t a), Arbitrary a, Arbitrary (t a), KnownNat n, p a) => Arbitrary (AtLeast n t a)

newtype AtMost n t a

Generate with a maximum, inclusive size as n :: Nat

Constructors

AtMost (t a)

Instances

Enum (t a) => Enum (AtMost n t a)

Eq (t a) => Eq (AtMost n t a)

Ord (t a) => Ord (AtMost n t a)

Read (t a) => Read (AtMost n t a)

Show (t a) => Show (AtMost n t a)

(UnfoldableR p t, Monoid (t a), Arbitrary a, Arbitrary (t a), KnownNat m, p a) => Arbitrary (AtMost m t a)

newtype Between n m t a

Generate between the inclusive range of n :: Nat and m :: Nat

Constructors

Between (t a)

Instances

Enum (t a) => Enum (Between n m t a)

Eq (t a) => Eq (Between n m t a)

Ord (t a) => Ord (Between n m t a)

Read (t a) => Read (Between n m t a)

Show (t a) => Show (Between n m t a)

(UnfoldableR p t, Monoid (t a), Arbitrary a, Arbitrary (t a), KnownNat n, KnownNat m, p a) => Arbitrary (Between n m t a)

type NonMempty = AtLeast 1

Convenience for AtLeast 1