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

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 

Instances

Instances details
KnownNat atLeast => Show (SomeIndex atLeast) Source # 
Instance details

Defined in Clash.Hedgehog.Sized.Index

Methods

showsPrec :: Int -> SomeIndex atLeast -> ShowS #

show :: SomeIndex atLeast -> String #

showList :: [SomeIndex atLeast] -> ShowS #

genSomeIndex :: (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeIndex atLeast) Source #