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.
data
Step (f :: k -> Type) (a :: k)functor-combinators Control.Applicative.Step An f a, along with a Natural index.
Step f a ~ (Natural, f a) Step f ~ ((,) Natural) :.: f -- functor composition
It is the fixed point of infinite applications of :+: (functor sums). Intuitively, in an infinite f :+: f :+: f :+: f ..., you have exactly one f somewhere. A Step f a has that f, with a Natural giving you "where" the f is in the long chain. Can be useful for using with the Monoidal instance of :+:. interpreting it requires no constraint on the target context. Note that this type and its instances equivalent to EnvT (Sum Natural).Step :: Natural -> f a -> Step (f :: k -> Type) (a :: k)functor-combinators Control.Applicative.Step No documentation available.
data
Step (f :: k -> Type) (a :: k)functor-combinators Data.Functor.Combinator An f a, along with a Natural index.
Step f a ~ (Natural, f a) Step f ~ ((,) Natural) :.: f -- functor composition
It is the fixed point of infinite applications of :+: (functor sums). Intuitively, in an infinite f :+: f :+: f :+: f ..., you have exactly one f somewhere. A Step f a has that f, with a Natural giving you "where" the f is in the long chain. Can be useful for using with the Monoidal instance of :+:. interpreting it requires no constraint on the target context. Note that this type and its instances equivalent to EnvT (Sum Natural).Step :: Natural -> f a -> Step (f :: k -> Type) (a :: k)functor-combinators Data.Functor.Combinator No documentation available.
-
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
-
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
-
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
data
Step a (m :: Type -> Type) rstreamly-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
-
streamly-core Streamly.Internal.Data.Pipe No documentation available.
-
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.