Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
streamly-core Streamly.Internal.Data.ParserK The parser's result. Int is the position index into the current input array. Could be negative. Cannot be beyond the input array max bound. Pre-release
newtype
ParserK a (m :: Type -> Type) bstreamly-core Streamly.Internal.Data.ParserK A continuation passing style parser representation. A continuation of Steps, each step passes a state and a parse result to the next Step. The resulting Step may carry a continuation that consumes input a and results in another Step. Essentially, the continuation may either consume input without a result or return a result with no further input to be consumed.
Partial :: Int -> (Input a -> m (Step a m r)) -> Step a (m :: Type -> Type) rstreamly-core Streamly.Internal.Data.ParserK No documentation available.
module Streamly.Internal.Data.
Pipe There are three fundamental types in streamly. They are streams (Streamly.Data.Stream), pipes (Streamly.Internal.Data.Pipe) and folds (Streamly.Data.Fold). Streams are sources or producers of values, multiple sources can be merged into a single source but a source cannot be split into multiple stream sources. Folds are sinks or consumers, a stream can be split and distributed to multiple folds but the results cannot be merged back into a stream source again. Pipes are transformations, a stream source can be split and distributed to multiple pipes each pipe can apply its own transform on the stream and the results can be merged back into a single pipe. Pipes can be attached to a source to produce a source or they can be attached to a fold to produce a fold, or multiple pipes can be merged or zipped into a single pipe.
import qualified Streamly.Internal.Data.Pipe as Pipe
data
Pipe (m :: Type -> Type) a bstreamly-core Streamly.Internal.Data.Pipe No documentation available.
-
streamly-core Streamly.Internal.Data.Pipe No documentation available.
-
streamly-core Streamly.Internal.Data.Pipe Represents a stateful transformation over an input stream of values of type a to outputs of type b in Monad m.
Produce :: s2 -> PipeState s1 s2streamly-core Streamly.Internal.Data.Pipe No documentation available.
module Streamly.Internal.Data.
Producer A Producer is an Unfold with an extract function added to extract the state. It is more powerful but less general than an Unfold. A Producer represents steps of a loop generating a sequence of elements. While unfolds are closed representation of imperative loops with some opaque internal state, producers are open loops with the state being accessible to the user. Unlike an unfold, which runs a loop till completion, a producer can be stopped in the middle, its state can be extracted, examined, changed, and then it can be resumed later from the stopped state. A producer can be used in places where a CPS stream would otherwise be needed, because the state of the loop can be passed around. However, it can be much more efficient than CPS because it allows stream fusion and unecessary function calls can be avoided.
data
Producer (m :: Type -> Type) a bstreamly-core Streamly.Internal.Data.Producer A Producer m a b is a generator of a stream of values of type b from a seed of type a in Monad m. Pre-release