Copyright	(C) 2021 QBayLogic B.V.
License	BSD2 (see the file LICENSE)
Maintainer	QBayLogic B.V. <devops@qbaylogic.com>
Safe Haskell	None
Language	Haskell2010

Clash.Hedgehog.Sized.Vector

Description

Random generation of vectors.

Synopsis

genVec :: (MonadGen m, KnownNat n) => m a -> m (Vec n a)
genNonEmptyVec :: (MonadGen m, KnownNat n, 1 <= n) => m a -> m (Vec n a)
data SomeVec atLeast a where
- SomeVec :: SNat n -> Vec (atLeast + n) a -> SomeVec atLeast a
genSomeVec :: (MonadGen m, KnownNat atLeast) => Range Natural -> m a -> m (SomeVec atLeast a)

Documentation

genVec :: (MonadGen m, KnownNat n) => m a -> m (Vec n a) Source #

Generate a potentially empty vector, where each element is produced using the supplied generator. For a non-empty vector, see genNonEmptyVec.

genNonEmptyVec :: (MonadGen m, KnownNat n, 1 <= n) => m a -> m (Vec n a) Source #

Generate a non-empty vector, where each element is produced using the supplied generator. For a potentially empty vector, see genVec.

data SomeVec atLeast a where Source #

Constructors

SomeVec :: SNat n -> Vec (atLeast + n) a -> SomeVec atLeast a