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.

Exact lookup

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

2. pangoLayoutIterAtLastLine :: PangoLayoutIter -> IO Bool

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

   No documentation available.

3. pangoLayoutIterAtLastLine :: PangoLayoutIter -> IO Bool

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

   No documentation available.

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

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

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

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

   No documentation available.

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

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

9. dropWhileLast :: forall a (m :: Type -> Type) . (a -> Bool) -> Stream m a -> Stream m a

   streamly-core	Streamly.Internal.Data.Stream

   Drop all consecutive elements at the end of the stream for which the predicate is true. O(n) space, where n is the number elements dropped. Unimplemented

10. takeWhileLast :: forall a (m :: Type -> Type) . (a -> Bool) -> Stream m a -> Stream m a

    streamly-core	Streamly.Internal.Data.Stream

    Take all consecutive elements at the end of the stream for which the predicate is true. O(n) space, where n is the number elements taken. Unimplemented

Page 112 of many | Previous | Next