Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. type BitVector = BV

   bv	Data.BitVector

   An alias for BV.

2. module Clash.Hedgehog.Sized.BitVector

   Random generation of BitVector.

3. data SomeBitVector (atLeast :: Natural)

   clash-prelude-hedgehog	Clash.Hedgehog.Sized.BitVector

   No documentation available.

4. SomeBitVector :: forall (n :: Nat) (atLeast :: Natural) . SNat n -> BitVector (atLeast + n) -> SomeBitVector atLeast

   clash-prelude-hedgehog	Clash.Hedgehog.Sized.BitVector

   No documentation available.

5. genBitVector :: forall m (n :: Nat) . (MonadGen m, KnownNat n) => m (BitVector n)

   clash-prelude-hedgehog	Clash.Hedgehog.Sized.BitVector

   Generate a bit vector where some bits may be undefined.

6. genDefinedBitVector :: forall m (n :: Nat) . (MonadGen m, KnownNat n) => m (BitVector n)

   clash-prelude-hedgehog	Clash.Hedgehog.Sized.BitVector

   Generate a bit vector where all bits are defined.

7. genSomeBitVector :: forall m (atLeast :: Nat) . (MonadGen m, KnownNat atLeast) => Range Natural -> (forall (n :: Nat) . KnownNat n => m (BitVector n)) -> m (SomeBitVector atLeast)

   clash-prelude-hedgehog	Clash.Hedgehog.Sized.BitVector

   No documentation available.

8. type SVector = Vector

   classy-prelude-yesod	ClassyPrelude.Yesod

   No documentation available.

9. type UVector = Vector

   classy-prelude-yesod	ClassyPrelude.Yesod

   No documentation available.

10. asSVector :: SVector a -> SVector a

    classy-prelude-yesod	ClassyPrelude.Yesod

    No documentation available.

Page 123 of many | Previous | Next