Clash.Hedgehog.Sized.Vector

Random generation of vectors.

Documentation

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

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)

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

Constructors

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

Instances

(KnownNat atLeast, Show a) => Show (SomeVec atLeast a)

Defined in Clash.Hedgehog.Sized.Vector

Methods

showsPrec :: Int -> SomeVec atLeast a -> ShowS

show :: SomeVec atLeast a -> String

showList :: [SomeVec atLeast a] -> ShowS

genSomeVec :: (MonadGen m, KnownNat atLeast) => Range Natural -> m a -> m (SomeVec atLeast a)