Hoogle Search
Within LTS Haskell 24.12 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
blastLE :: SFiniteBits a => SBV a -> [SBool]sbv Data.SBV Little-endian blasting of a word into its bits.
blastSDouble :: SDouble -> (SBool, [SBool], [SBool])sbv Data.SBV Extract the sign/exponent/mantissa of a single-precision float. The output will have 11 bits in the second argument for exponent, and 52 in the third for the mantissa.
blastSFloat :: SFloat -> (SBool, [SBool], [SBool])sbv Data.SBV Extract the sign/exponent/mantissa of a single-precision float. The output will have 8 bits in the second argument for exponent, and 23 in the third for the mantissa.
-
sbv Data.SBV Extract the sign/exponent/mantissa of an arbitrary precision float. The output will have eb bits in the second argument for exponent, and sb-1 bits in the third for mantissa.
-
sbv Data.SBV.Dynamic Bit-blast: Big-endian. Assumes the input is a bit-vector or a floating point type.
-
sbv Data.SBV.Dynamic Bit-blast: Little-endian. Assumes the input is a bit-vector or a floating point type.
blastBE :: SFiniteBits a => SBV a -> [SBool]sbv Data.SBV.Trans Big-endian blasting of a word into its bits.
blastLE :: SFiniteBits a => SBV a -> [SBool]sbv Data.SBV.Trans Little-endian blasting of a word into its bits.
blastSDouble :: SDouble -> (SBool, [SBool], [SBool])sbv Data.SBV.Trans Extract the sign/exponent/mantissa of a single-precision float. The output will have 11 bits in the second argument for exponent, and 52 in the third for the mantissa.
blastSFloat :: SFloat -> (SBool, [SBool], [SBool])sbv Data.SBV.Trans Extract the sign/exponent/mantissa of a single-precision float. The output will have 8 bits in the second argument for exponent, and 23 in the third for the mantissa.