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

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

Instances details

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