clash-prelude-hedgehog-1.6.0: Hedgehog Generators for clash-prelude
Copyright(C) 2021 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Hedgehog.Sized.Unsigned

Description

Random generation of Unsigned numbers.

Documentation

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

data SomeUnsigned atLeast where Source #

Constructors

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

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