Clash.Hedgehog.Sized.Index

Random generation of Index.

Documentation

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

data SomeIndex atLeast where

Constructors

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

Instances

KnownNat atLeast => Show (SomeIndex atLeast)

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)