Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
genSizedList :: forall n m a n'. (SingIPeano n, IsoNatPeano n n', MonadGen m) => m a -> m (SizedList' n' a) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
genSizedList :: forall n m a n'. (SingIPeano n, IsoNatPeano n n', MonadGen m) => m a -> m (SizedList' n' a) Source #