This library is for generating
Unfoldables with trivial
constraints on the length of the structure generated - "at least",
"at most", and "between"; each indexed by a type-level natural number.
arbitraryArrayWithAtLeast5Elements :: forall a. Arbitrary a => Gen (Array a) arbitraryArrayWithAtLeast5Elements = do AtLeast xs <- arbitrary :: Gen (AtLeast D5 Array a) pure xs
The only requirement is that the structure needs to be
a needing to be
Arbitrary as well.