Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. Step :: Natural -> f a -> Step (f :: k -> Type) (a :: k)

   functor-combinators	Data.Functor.Combinator

   No documentation available.

2. data Step (k :: Type -> Type) o r

   machines	Data.Machine.Type

   This is the base functor for a Machine or MachineT. Note: A Machine is usually constructed from Plan, so it does not need to be CPS'd.

3. data Step s b

   streamly-core	Streamly.Internal.Data.Fold

   Represents the result of the step of a Fold. Partial returns an intermediate state of the fold, the fold step can be called again with the state or the driver can use extract on the state to get the result out. Done returns the final result and the fold cannot be driven further. Pre-release

4. data Step s b

   streamly-core	Streamly.Internal.Data.Parser

   The return type of a Parser step. The parse operation feeds the input stream to the parser one element at a time, representing a parse Step. The parser may or may not consume the item and returns a result. If the result is Partial we can either extract the result or feed more input to the parser. If the result is Continue, we must feed more input in order to get a result. If the parser returns Done then the parser can no longer take any more input. If the result is Continue, the parse operation retains the input in a backtracking buffer, in case the parser may ask to backtrack in future. Whenever a 'Partial n' result is returned we first backtrack by n elements in the input and then release any remaining backtracking buffer. Similarly, 'Continue n' backtracks to n elements before the current position and starts feeding the input from that point for future invocations of the parser. If parser is not yet done, we can use the extract operation on the state of the parser to extract a result. If the parser has not yet yielded a result, the operation fails with a ParseError exception. If the parser yielded a Partial result in the past the last partial result is returned. Therefore, if a parser yields a partial result once it cannot fail later on. The parser can never backtrack beyond the position where the last partial result left it at. The parser must ensure that the backtrack position is always after that. Pre-release

5. data Step s b

   streamly-core	Streamly.Internal.Data.Parser

   The return type of a Parser step. The parse operation feeds the input stream to the parser one element at a time, representing a parse Step. The parser may or may not consume the item and returns a result. If the result is Partial we can either extract the result or feed more input to the parser. If the result is Continue, we must feed more input in order to get a result. If the parser returns Done then the parser can no longer take any more input. If the result is Continue, the parse operation retains the input in a backtracking buffer, in case the parser may ask to backtrack in future. Whenever a 'Partial n' result is returned we first backtrack by n elements in the input and then release any remaining backtracking buffer. Similarly, 'Continue n' backtracks to n elements before the current position and starts feeding the input from that point for future invocations of the parser. If parser is not yet done, we can use the extract operation on the state of the parser to extract a result. If the parser has not yet yielded a result, the operation fails with a ParseError exception. If the parser yielded a Partial result in the past the last partial result is returned. Therefore, if a parser yields a partial result once it cannot fail later on. The parser can never backtrack beyond the position where the last partial result left it at. The parser must ensure that the backtrack position is always after that. Pre-release

6. data Step a (m :: Type -> Type) r

   streamly-core	Streamly.Internal.Data.ParserK

   The intermediate result of running a parser step. The parser driver may stop with a final result, pause with a continuation to resume, or fail with an error. See ParserD docs. This is the same as the ParserD Step except that it uses a continuation in Partial and Continue constructors instead of a state in case of ParserD. Pre-release

7. data Step s a

   streamly-core	Streamly.Internal.Data.Pipe

   No documentation available.

8. data Step s a

   streamly-core	Streamly.Internal.Data.Stream

   A stream is a succession of Steps. A Yield produces a single value and the next state of the stream. Stop indicates there are no more values in the stream.

9. data Step s a

   streamly-core	Streamly.Internal.Data.Unfold

   A stream is a succession of Steps. A Yield produces a single value and the next state of the stream. Stop indicates there are no more values in the stream.

10. data Step s a

    vector-stream	Data.Stream.Monadic

    Result of taking a single step in a stream

Page 9 of many | Previous | Next