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

Clash.Hedgehog.Sized.BitVector

Description

Random generation of BitVector.

Synopsis

genDefinedBit :: MonadGen m => m Bit
genBit :: MonadGen m => m Bit
genDefinedBitVector :: (MonadGen m, KnownNat n) => m (BitVector n)
genBitVector :: forall m n. (MonadGen m, KnownNat n) => m (BitVector n)
data SomeBitVector atLeast where
- SomeBitVector :: SNat n -> BitVector (atLeast + n) -> SomeBitVector atLeast
genSomeBitVector :: forall m atLeast. (MonadGen m, KnownNat atLeast) => Range Natural -> (forall n. KnownNat n => m (BitVector n)) -> m (SomeBitVector atLeast)

Documentation

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

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

Generate a bit vector where all bits are defined.

genBitVector :: forall m n. (MonadGen m, KnownNat n) => m (BitVector n) Source #

Generate a bit vector where some bits may be undefined.

data SomeBitVector atLeast where Source #

Constructors

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

Instances details

KnownNat atLeast => Show (SomeBitVector atLeast) Source #
Instance details Defined in Clash.Hedgehog.Sized.BitVector Methods showsPrec :: Int -> SomeBitVector atLeast -> ShowS Source # show :: SomeBitVector atLeast -> String Source # showList :: [SomeBitVector atLeast] -> ShowS Source #

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