Clash.Hedgehog.Sized.Unsigned

Random generation of Unsigned numbers.

Documentation

genUnsigned :: (MonadGen m, KnownNat n) => Range (Unsigned n) -> m (Unsigned n)

data SomeUnsigned atLeast where

Constructors

SomeUnsigned :: SNat n -> Unsigned (atLeast + n) -> SomeUnsigned atLeast

Instances

KnownNat atLeast => Show (SomeUnsigned atLeast)

Defined in Clash.Hedgehog.Sized.Unsigned

Methods

showsPrec :: Int -> SomeUnsigned atLeast -> ShowS

show :: SomeUnsigned atLeast -> String

showList :: [SomeUnsigned atLeast] -> ShowS

genSomeUnsigned :: (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeUnsigned atLeast)