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. type ForceVector = Vec

    LPFP-core LPFPCore.MultipleObjects

    No documentation available.

  2. elementVector :: Value a -> Array (Vector a)

    aeson-value-parser AesonValueParser

    No documentation available.

  3. newtype Covector r a

    algebra Numeric.Algebra

    Linear functionals from elements of an (infinite) free module to a scalar

  4. Covector :: ((a -> r) -> r) -> Covector r a

    algebra Numeric.Algebra

    No documentation available.

  5. type Comultivector r m = Covector r BasisCoblade m

    algebra Numeric.Coalgebra.Geometric

    No documentation available.

  6. module Numeric.Covector

    No documentation available.

  7. newtype Covector r a

    algebra Numeric.Covector

    Linear functionals from elements of an (infinite) free module to a scalar

  8. Covector :: ((a -> r) -> r) -> Covector r a

    algebra Numeric.Covector

    No documentation available.

  9. package alternative-vector

    Use vectors instead of lists for many and some Use vectors instead of lists for many and some

  10. module Data.BitVector

    Bit-vector arithmetic inspired by SMT-LIB http://smt-lib.org/ and Cryptol http://cryptol.net/. Bit-vectors are represented as a pair size and value, where sizes are of type Int and values are Integer.

    • Bit-vectors are interpreted as unsigned integers (i.e. natural numbers) except for some specific signed operations.
    • Most operations are in some way size-polymorphic and, if required, will perform padding to adjust the size of input bit-vectors.
    For documentation purposes we will write [n]k to denote a bit-vector of size n representing the natural number k.

Page 122 of many | Previous | Next