Copyright	(C) 2021-2022 QBayLogic B.V.
License	BSD2 (see the file LICENSE)
Maintainer	QBayLogic B.V. <[email protected]>
Safe Haskell	None
Language	Haskell2010

Clash.Hedgehog.Sized.Index

Description

Random generation of Index.

Documentation

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

data SomeIndex (atLeast :: Natural) where Source #

Constructors

SomeIndex :: forall (n :: Nat) (atLeast :: Natural). SNat n -> Index (atLeast + n) -> SomeIndex atLeast

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 :: forall m (atLeast :: Nat). (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeIndex atLeast) Source #