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.
-
LPFP-core LPFPCore.MultipleObjects No documentation available.
elementVector :: Value a -> Array (Vector a)aeson-value-parser AesonValueParser No documentation available.
-
algebra Numeric.Algebra Linear functionals from elements of an (infinite) free module to a scalar
Covector :: ((a -> r) -> r) -> Covector r aalgebra Numeric.Algebra No documentation available.
type
Comultivector r m = Covector r BasisCoblade malgebra Numeric.Coalgebra.Geometric No documentation available.
-
No documentation available.
-
algebra Numeric.Covector Linear functionals from elements of an (infinite) free module to a scalar
Covector :: ((a -> r) -> r) -> Covector r aalgebra Numeric.Covector No documentation available.
-
Use vectors instead of lists for many and some Use vectors instead of lists for many and some
-
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.