Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. consumeStreamExample :: IO (Either String String)

   bluefin-internal	Bluefin.Internal.Examples

   No documentation available.

2. consumeStreamExample2 :: IO ()

   bluefin-internal	Bluefin.Internal.Examples

   No documentation available.

3. takeConsumeExample :: ([Int], ())

   bluefin-internal	Bluefin.Internal.Examples

   No documentation available.

4. type Consumer a = Pipe a Void

   bluefin-internal	Bluefin.Internal.Pipes

   No documentation available.

5. lSum :: [(Nat, Integer)] -> (Nat, Integer)

   boltzmann-samplers	Boltzmann.Data.Oracle

   Sum of a list of series.

6. assume :: forall (dom :: Domain) a . AssertionValue dom a => a -> Property dom

   clash-prelude	Clash.Explicit.Verification

   Inform the prover that this property is true. This is the same as assert for simulations.

7. CvAssume :: Assertion' a -> Property' a

   clash-prelude	Clash.Verification.Internal

   No documentation available.

8. type Consumer i (m :: Type -> Type) r = forall o . () => ConduitT i o m r

   classy-prelude-conduit	ClassyPrelude.Conduit

   A component which consumes a stream of input values and produces a final result, regardless of the output stream. A Consumer is a generalization of a Sink, and can be used as either a Sink or a Conduit. Since 1.0.0

9. asumC :: forall (m :: Type -> Type) f a o . (Monad m, Alternative f) => ConduitT (f a) o m (f a)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Alternatively combine all values in the stream.

10. toConsumer :: forall (m :: Type -> Type) a b o . Monad m => ConduitT a Void m b -> ConduitT a o m b

    classy-prelude-conduit	ClassyPrelude.Conduit

    Generalize a Sink to a Consumer. Since 1.0.0

Page 168 of many | Previous | Next