Hedgehog.Gen.SizedList

Documentation

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

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