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. module Clash.Sized.Internal.BitVector

   No documentation available.

2. data BitVector (n :: Nat)

   clash-prelude	Clash.Sized.Internal.BitVector

   A vector of bits

   • Bit indices are descending
   • Num instance performs unsigned arithmetic.
   NB: The usual Haskell method of converting an integral numeric type to another, fromIntegral, is not well suited for Clash as it will go through Integer which is arbitrarily bounded in HDL. Instead use bitCoerce and the Resize class. BitVector has the type role

   >>> :i BitVector
   type role BitVector nominal
   ...
   

   as it is not safe to coerce between different sizes of BitVector. To change the size, use the functions in the Resize class.

3. concatBitVector# :: forall (n :: Nat) (m :: Nat) . (KnownNat n, KnownNat m) => Vec n (BitVector m) -> BitVector (n * m)

   clash-prelude	Clash.Sized.Vector

   No documentation available.

4. unconcatBitVector# :: forall (n :: Nat) (m :: Nat) . (KnownNat n, KnownNat m) => BitVector (n * m) -> Vec n (BitVector m)

   clash-prelude	Clash.Sized.Vector

   No documentation available.

5. conduitVector :: forall v a (m :: Type -> Type) . (Vector v a, PrimMonad m) => Int -> ConduitT a (v a) m ()

   classy-prelude-conduit	ClassyPrelude.Conduit

   Break up a stream of values into vectors of size n. The final vector may be smaller than n if the total number of values is not a strict multiple of n. No empty vectors will be yielded.

6. sinkVector :: forall v a (m :: Type -> Type) o . (Vector v a, PrimMonad m) => ConduitT a o m (v a)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Sink incoming values into a vector, growing the vector as necessary to fit more elements. Note that using this function is more memory efficient than sinkList and then converting to a Vector, as it avoids intermediate list constructors. Subject to fusion

7. sinkVectorN :: forall v a (m :: Type -> Type) o . (Vector v a, PrimMonad m) => Int -> ConduitT a o m (v a)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Sink incoming values into a vector, up until size maxSize. Subsequent values will be left in the stream. If there are less than maxSize values present, returns a Vector of smaller size. Note that using this function is more memory efficient than sinkList and then converting to a Vector, as it avoids intermediate list constructors. Subject to fusion

8. getVector :: (PrimMonad m, PrimState m ~ s) => DoubleBuffer s -> m (MVector s Double)

   data-sketches-core	DataSketches.Quantiles.RelativeErrorQuantile.Internal.DoubleBuffer

   No documentation available.

9. _vector :: Matrix -> !Vector

   dense-linear-algebra	Statistics.Matrix

   Matrix data.

10. fromVector :: Int -> Int -> Vector Double -> Matrix

    dense-linear-algebra	Statistics.Matrix

    Convert from a row-major vector.

Page 90 of many | Previous | Next