Clash.Hedgehog.Sized.BitVector

Random generation of BitVector.

Documentation

genDefinedBit :: MonadGen m => m Bit

Generate a bit which is guaranteed to be defined. This will either have the value low or high.

genBit :: MonadGen m => m Bit

Generate a bit which is not guaranteed to be defined. This will either have the value low or high, or throw an XException.

genDefinedBitVector :: (MonadGen m, KnownNat n) => m (BitVector n)

Generate a bit vector where all bits are defined.

genBitVector :: (MonadGen m, KnownNat n) => m (BitVector n)

Generate a bit vector where some bits may be undefined.

data SomeBitVector atLeast where

Constructors

SomeBitVector :: SNat n -> BitVector (atLeast + n) -> SomeBitVector atLeast

Instances

KnownNat atLeast => Show (SomeBitVector atLeast)

Defined in Clash.Hedgehog.Sized.BitVector

Methods

showsPrec :: Int -> SomeBitVector atLeast -> ShowS

show :: SomeBitVector atLeast -> String

showList :: [SomeBitVector atLeast] -> ShowS

genSomeBitVector :: forall m atLeast. (MonadGen m, KnownNat atLeast) => Range Natural -> (forall n. KnownNat n => m (BitVector n)) -> m (SomeBitVector atLeast)