cleveland-0.3.2: Testing framework for Morley.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hedgehog.Gen.SizedList

Documentation

genSizedList :: forall n m a n'. (SingIPeano n, IsoNatPeano n n', MonadGen m) => m a -> m (SizedList' n' a) Source #

genSomeSizedList :: forall m a. MonadGen m => Range Int -> m a -> m (SomeSizedList a) Source #