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

Clash.Hedgehog.Sized.Index

Description

Random generation of Index.

Documentation

genIndex :: (MonadGen m, KnownNat n) => Range (Index n) -> m (Index n) Source #

data SomeIndex atLeast where Source #

Constructors

SomeIndex :: SNat n -> Index (atLeast + n) -> SomeIndex atLeast