Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. 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.

  2. 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.

  3. blastSFloatingPoint :: forall (eb :: Nat) (sb :: Nat) . (ValidFloat eb sb, KnownNat (eb + sb), BVIsNonZero (eb + sb)) => SFloatingPoint eb sb -> (SBool, [SBool], [SBool])

    sbv Data.SBV.Trans

    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.

  4. pangoLayoutIterAtLastLine :: PangoLayoutIter -> IO Bool

    simple-pango Graphics.Pango.Basic.LayoutObjects.PangoLayoutIter

    No documentation available.

  5. pangoLayoutIterAtLastLine :: PangoLayoutIter -> IO Bool

    simple-pango Graphics.Pango.Basic.LayoutObjects.PangoLayoutIter.Internal

    No documentation available.

  6. writeLastN :: forall a (m :: Type -> Type) . (Storable a, Unbox a, MonadIO m) => Int -> Fold m a (Array a)

    streamly-core Streamly.Data.Array

    writeLastN n folds a maximum of n elements from the end of the input stream to an Array.

  7. writeLastN :: forall a (m :: Type -> Type) . (Storable a, Unbox a, MonadIO m) => Int -> Fold m a (Array a)

    streamly-core Streamly.Internal.Data.Array

    writeLastN n folds a maximum of n elements from the end of the input stream to an Array.

  8. writeLastN :: forall (m :: Type -> Type) a . MonadIO m => Int -> Fold m a (Array a)

    streamly-core Streamly.Internal.Data.Array.Generic

    No documentation available.

  9. writeLastN :: forall (m :: Type -> Type) a . MonadIO m => Int -> Fold m a (Ring a)

    streamly-core Streamly.Internal.Data.Ring.Generic

    Note that it is not safe to return a reference to the mutable Ring using a scan as the Ring is continuously getting mutated. You could however copy out the Ring.

  10. dropLast :: forall (m :: Type -> Type) a . Int -> Stream m a -> Stream m a

    streamly-core Streamly.Internal.Data.Stream

    Drop n elements at the end of the stream. O(n) space, where n is the number elements dropped. Unimplemented

Page 112 of many | Previous | Next