Module

Test.QuickCheck.Combinators

Package: purescript-quickcheck-combinators
Repository: athanclark/purescript-quickcheck-combinators

#AtLeast Source

newtype AtLeast n t a

Constructors

AtLeast (t a)

Instances

(Generic (t a) ta) => Generic (AtLeast n t a) _
(Arbitrary a, Nat n, Unfoldable t, Traversable t) => Arbitrary (AtLeast n t a)

#getAtLeast Source

getAtLeast :: forall a t n. AtLeast n t a -> t a

#AtMost Source

newtype AtMost n t a

Constructors

AtMost (t a)

Instances

(Generic (t a) ta) => Generic (AtMost n t a) _
(Arbitrary a, Nat n, Unfoldable t, Traversable t) => Arbitrary (AtMost n t a)

#getAtMost Source

getAtMost :: forall a t n. AtMost n t a -> t a

#Between Source

newtype Between n m t a

Constructors

Between (t a)

Instances

(Generic (t a) ta) => Generic (Between n m t a) _
(Arbitrary a, Nat n, Nat m, Unfoldable t, Traversable t) => Arbitrary (Between n m t a)

#getBetween Source

getBetween :: forall a t m n. Between n m t a -> t a

Modules: Test.QuickCheck.Combinators