Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype AtLeast (n :: Nat) t a Source #
Generate with a minimum, inclusive size as n :: Nat
AtLeast | |
|
Monad t => Monad (AtLeast n t) Source # | |
Functor t => Functor (AtLeast n t) Source # | |
Applicative t => Applicative (AtLeast n t) Source # | |
Foldable t => Foldable (AtLeast n t) Source # | |
Traversable t => Traversable (AtLeast n t) Source # | |
Enum (t a) => Enum (AtLeast n t a) Source # | |
Eq (t a) => Eq (AtLeast n t a) Source # | |
(Data (t a), Typeable * a, Typeable (* -> *) t, KnownNat n) => Data (AtLeast n t a) Source # | |
Ord (t a) => Ord (AtLeast n t a) Source # | |
Read (t a) => Read (AtLeast n t a) Source # | |
Show (t a) => Show (AtLeast n t a) Source # | |
Generic (AtLeast n t a) Source # | |
Monoid (t a) => Monoid (AtLeast n t a) Source # | |
(Arbitrary a, Ord a, UnfoldableR p [], p a, KnownNat n) => Arbitrary (AtLeast n OrderedList a) Source # | |
(UnfoldableR p t, Monoid (t a), Arbitrary a, KnownNat n, p a) => Arbitrary (AtLeast n t a) Source # | |
type Rep (AtLeast n t a) Source # | |
newtype AtMost (n :: Nat) t a Source #
Generate with a maximum, inclusive size as n :: Nat
Monad t => Monad (AtMost n t) Source # | |
Functor t => Functor (AtMost n t) Source # | |
Applicative t => Applicative (AtMost n t) Source # | |
Foldable t => Foldable (AtMost n t) Source # | |
Traversable t => Traversable (AtMost n t) Source # | |
Enum (t a) => Enum (AtMost n t a) Source # | |
Eq (t a) => Eq (AtMost n t a) Source # | |
(Data (t a), Typeable * a, Typeable (* -> *) t, KnownNat n) => Data (AtMost n t a) Source # | |
Ord (t a) => Ord (AtMost n t a) Source # | |
Read (t a) => Read (AtMost n t a) Source # | |
Show (t a) => Show (AtMost n t a) Source # | |
Generic (AtMost n t a) Source # | |
Monoid (t a) => Monoid (AtMost n t a) Source # | |
(Arbitrary a, Ord a, UnfoldableR p [], p a, KnownNat n) => Arbitrary (AtMost n OrderedList a) Source # | |
(UnfoldableR p t, Monoid (t a), Arbitrary a, KnownNat m, p a) => Arbitrary (AtMost m t a) Source # | |
type Rep (AtMost n t a) Source # | |
newtype Between (n :: Nat) (m :: Nat) t a Source #
Generate between the inclusive range of n :: Nat
and m :: Nat
Between | |
|
Monad t => Monad (Between n m t) Source # | |
Functor t => Functor (Between n m t) Source # | |
Applicative t => Applicative (Between n m t) Source # | |
Foldable t => Foldable (Between n m t) Source # | |
Traversable t => Traversable (Between n m t) Source # | |
Enum (t a) => Enum (Between n m t a) Source # | |
Eq (t a) => Eq (Between n m t a) Source # | |
(Data (t a), Typeable * a, Typeable (* -> *) t, KnownNat m, KnownNat n) => Data (Between n m t a) Source # | |
Ord (t a) => Ord (Between n m t a) Source # | |
Read (t a) => Read (Between n m t a) Source # | |
Show (t a) => Show (Between n m t a) Source # | |
Generic (Between n m t a) Source # | |
Monoid (t a) => Monoid (Between n m t a) Source # | |
(Arbitrary a, Ord a, KnownNat n, UnfoldableR p [], p a, KnownNat m) => Arbitrary (Between n m OrderedList a) Source # | |
(UnfoldableR p t, Monoid (t a), Arbitrary a, KnownNat n, KnownNat m, p a) => Arbitrary (Between n m t a) Source # | |
type Rep (Between n m t a) Source # | |