[{"display_html":"genAttr :: forall m. MonadGen m => Range Int -> m (Attr String)","name":"genAttr","module":"Clash.Hedgehog.Annotations.SynthesisAttributes","link":"Clash-Hedgehog-Annotations-SynthesisAttributes.html#v:genAttr"},{"display_html":"genSignal :: MonadGen m => m a -> m (Signal dom a)","name":"genSignal","module":"Clash.Hedgehog.Signal","link":"Clash-Hedgehog-Signal.html#v:genSignal"},{"display_html":"genActiveEdge :: MonadGen m => m ActiveEdge","name":"genActiveEdge","module":"Clash.Hedgehog.Signal","link":"Clash-Hedgehog-Signal.html#v:genActiveEdge"},{"display_html":"genInitBehavior :: MonadGen m => m InitBehavior","name":"genInitBehavior","module":"Clash.Hedgehog.Signal","link":"Clash-Hedgehog-Signal.html#v:genInitBehavior"},{"display_html":"genResetKind :: MonadGen m => m ResetKind","name":"genResetKind","module":"Clash.Hedgehog.Signal","link":"Clash-Hedgehog-Signal.html#v:genResetKind"},{"display_html":"genResetPolarity :: MonadGen m => m ResetPolarity","name":"genResetPolarity","module":"Clash.Hedgehog.Signal","link":"Clash-Hedgehog-Signal.html#v:genResetPolarity"},{"display_html":"genIndex :: (MonadGen m, KnownNat n) => Range (Index n) -> m (Index n)","name":"genIndex","module":"Clash.Hedgehog.Sized.Index","link":"Clash-Hedgehog-Sized-Index.html#v:genIndex"},{"display_html":"data SomeIndex atLeast where","name":"SomeIndex SomeIndex","module":"Clash.Hedgehog.Sized.Index","link":"Clash-Hedgehog-Sized-Index.html#t:SomeIndex"},{"display_html":"genSomeIndex :: (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeIndex atLeast)","name":"genSomeIndex","module":"Clash.Hedgehog.Sized.Index","link":"Clash-Hedgehog-Sized-Index.html#v:genSomeIndex"},{"display_html":"genRTree :: (MonadGen m, KnownNat n) => m a -> m (RTree n a)","name":"genRTree","module":"Clash.Hedgehog.Sized.RTree","link":"Clash-Hedgehog-Sized-RTree.html#v:genRTree"},{"display_html":"genNonEmptyRTree :: (MonadGen m, KnownNat n, 1 <= n) => m a -> m (RTree n a)","name":"genNonEmptyRTree","module":"Clash.Hedgehog.Sized.RTree","link":"Clash-Hedgehog-Sized-RTree.html#v:genNonEmptyRTree"},{"display_html":"data SomeRTree atLeast a where","name":"SomeRTree SomeRTree","module":"Clash.Hedgehog.Sized.RTree","link":"Clash-Hedgehog-Sized-RTree.html#t:SomeRTree"},{"display_html":"genSomeRTree :: (MonadGen m, KnownNat atLeast) => Range Natural -> m a -> m (SomeRTree atLeast a)","name":"genSomeRTree","module":"Clash.Hedgehog.Sized.RTree","link":"Clash-Hedgehog-Sized-RTree.html#v:genSomeRTree"},{"display_html":"genSigned :: (MonadGen m, KnownNat n) => Range (Signed n) -> m (Signed n)","name":"genSigned","module":"Clash.Hedgehog.Sized.Signed","link":"Clash-Hedgehog-Sized-Signed.html#v:genSigned"},{"display_html":"data SomeSigned atLeast where","name":"SomeSigned SomeSigned","module":"Clash.Hedgehog.Sized.Signed","link":"Clash-Hedgehog-Sized-Signed.html#t:SomeSigned"},{"display_html":"genSomeSigned :: (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeSigned atLeast)","name":"genSomeSigned","module":"Clash.Hedgehog.Sized.Signed","link":"Clash-Hedgehog-Sized-Signed.html#v:genSomeSigned"},{"display_html":"genUnsigned :: (MonadGen m, KnownNat n) => Range (Unsigned n) -> m (Unsigned n)","name":"genUnsigned","module":"Clash.Hedgehog.Sized.Unsigned","link":"Clash-Hedgehog-Sized-Unsigned.html#v:genUnsigned"},{"display_html":"data SomeUnsigned atLeast where","name":"SomeUnsigned SomeUnsigned","module":"Clash.Hedgehog.Sized.Unsigned","link":"Clash-Hedgehog-Sized-Unsigned.html#t:SomeUnsigned"},{"display_html":"genSomeUnsigned :: (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeUnsigned atLeast)","name":"genSomeUnsigned","module":"Clash.Hedgehog.Sized.Unsigned","link":"Clash-Hedgehog-Sized-Unsigned.html#v:genSomeUnsigned"},{"display_html":"genDefinedBit :: MonadGen m => m Bit","name":"genDefinedBit","module":"Clash.Hedgehog.Sized.BitVector","link":"Clash-Hedgehog-Sized-BitVector.html#v:genDefinedBit"},{"display_html":"genBit :: MonadGen m => m Bit","name":"genBit","module":"Clash.Hedgehog.Sized.BitVector","link":"Clash-Hedgehog-Sized-BitVector.html#v:genBit"},{"display_html":"genDefinedBitVector :: (MonadGen m, KnownNat n) => m (BitVector n)","name":"genDefinedBitVector","module":"Clash.Hedgehog.Sized.BitVector","link":"Clash-Hedgehog-Sized-BitVector.html#v:genDefinedBitVector"},{"display_html":"genBitVector :: forall m n. (MonadGen m, KnownNat n) => m (BitVector n)","name":"genBitVector","module":"Clash.Hedgehog.Sized.BitVector","link":"Clash-Hedgehog-Sized-BitVector.html#v:genBitVector"},{"display_html":"data SomeBitVector atLeast where","name":"SomeBitVector SomeBitVector","module":"Clash.Hedgehog.Sized.BitVector","link":"Clash-Hedgehog-Sized-BitVector.html#t:SomeBitVector"},{"display_html":"genSomeBitVector :: forall m atLeast. (MonadGen m, KnownNat atLeast) => Range Natural -> (forall n. KnownNat n => m (BitVector n)) -> m (SomeBitVector atLeast)","name":"genSomeBitVector","module":"Clash.Hedgehog.Sized.BitVector","link":"Clash-Hedgehog-Sized-BitVector.html#v:genSomeBitVector"},{"display_html":"genVec :: (MonadGen m, KnownNat n) => m a -> m (Vec n a)","name":"genVec","module":"Clash.Hedgehog.Sized.Vector","link":"Clash-Hedgehog-Sized-Vector.html#v:genVec"},{"display_html":"genNonEmptyVec :: (MonadGen m, KnownNat n, 1 <= n) => m a -> m (Vec n a)","name":"genNonEmptyVec","module":"Clash.Hedgehog.Sized.Vector","link":"Clash-Hedgehog-Sized-Vector.html#v:genNonEmptyVec"},{"display_html":"data SomeVec atLeast a where","name":"SomeVec SomeVec","module":"Clash.Hedgehog.Sized.Vector","link":"Clash-Hedgehog-Sized-Vector.html#t:SomeVec"},{"display_html":"genSomeVec :: (MonadGen m, KnownNat atLeast) => Range Natural -> m a -> m (SomeVec atLeast a)","name":"genSomeVec","module":"Clash.Hedgehog.Sized.Vector","link":"Clash-Hedgehog-Sized-Vector.html#v:genSomeVec"}]