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.

  1. FastVectorHighlight :: Maybe CommonHighlight -> Maybe NonPostings -> Maybe Text -> Maybe Int -> Maybe Int -> [Text] -> Maybe Int -> FastVectorHighlight

    bloodhound Database.Bloodhound.Common.Types

    No documentation available.

  2. fastVectorHighPairs :: Maybe FastVectorHighlight -> [Pair]

    bloodhound Database.Bloodhound.Common.Types

    No documentation available.

  3. BitVector :: Size -> HWType

    clash-lib Clash.Netlist.Types

    BitVector of a specified size

  4. mkVectorChain :: Int -> HWType -> [Expr] -> Expr

    clash-lib Clash.Netlist.Util

    Create a Vector chain for a list of Identifiers

  5. boolFromBitVector :: Size -> Text -> TExpr -> State (BlockState VHDLState) TExpr

    clash-lib Clash.Primitives.DSL

    Used to create an output Bool from a BitVector of given size. Works in a similar way to boolFromBit above. TODO: Implement for (System)Verilog

  6. unsignedFromBitVector :: (HasCallStack, Backend backend) => Text -> TExpr -> State (BlockState backend) TExpr

    clash-lib Clash.Primitives.DSL

    Used to create an output Unsigned from a BitVector of given size. Works in a similar way to boolFromBit above.

  7. multiplyVectorLeft :: (Eq height, C height, C width, Floating a) => Vector height a -> Matrix height width a -> Vector width a

    comfort-blas Numeric.BLAS.Matrix.RowMajor 

    >>> Matrix.multiplyVectorLeft (Array.vectorFromList [3,1,4]) (Array.fromList (Shape.ZeroBased (3::Int), Shape.Range 'a' 'b') [0,1,0,0,1,0::Real_])
StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'b'}) [4.0,3.0]

    :{
    forVector number_ $ xs -> Matrix.multiplyVectorLeft xs (Matrix.identity (Array.shape xs)) == xs :}

  8. multiplyVectorRight :: (C height, C width, Eq width, Floating a) => Matrix height width a -> Vector width a -> Vector height a

    comfort-blas Numeric.BLAS.Matrix.RowMajor 

    >>> Matrix.multiplyVectorRight (Array.fromList (Shape.Range 'a' 'b', Shape.ZeroBased (3::Int)) [0,0,1,1,0,0]) (Array.vectorFromList [3,1,4::Real_])
StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'b'}) [4.0,3.0]

>>> Matrix.multiplyVectorRight (Array.fromList (Shape.Range 'a' 'b', Shape.ZeroBased (3::Int)) [2,7,1,8,2,8]) (Array.vectorFromList [3,1,4::Real_])
StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'b'}) [17.0,58.0]

    :{
    forVector number_ $ xs -> Matrix.multiplyVectorRight (Matrix.identity (Array.shape xs)) xs == xs :} 
    :{
    forMatrix number_ $ a -> QC.forAll (genVector (snd $ Array.shape a) number_) $ x -> Matrix.singleColumn (Matrix.multiplyVectorRight a x) == Matrix.multiply a (Matrix.singleColumn x) :} 
    :{
    forMatrix number_ $ a -> QC.forAll (genVector (fst $ Array.shape a) number_) $ x -> QC.forAll (genVector (snd $ Array.shape a) number_) $ y -> Vector.dot x (Matrix.multiplyVectorRight a y) == Vector.dot (Matrix.multiplyVectorLeft x a) y :} 
    :{
    forMatrix number_ $ a -> QC.forAll (genVector (snd $ Array.shape a) number_) $ x -> Matrix.multiplyVectorRight a x == Matrix.multiplyVectorLeft x (transpose a) :}

  9. fromStorableVector :: Vector a -> T ShapeInt ShapeInt a

    comfort-blas Numeric.BLAS.Vector.Slice

    Non-copying conversion from StorableVector.

  10. fromVector :: C sh => Vector sh a -> T sh sh a

    comfort-blas Numeric.BLAS.Vector.Slice

    No documentation available.

Page 100 of many | Previous | Next