Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- choice :: Alternative f => [f a] -> f a
- count :: Monad m => Int -> m a -> m [a]
- option'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' (Maybe a)
- many'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' [a]
- many1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e (NonEmpty a)
- manyTill'' :: (MonadPlus m_Unit, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e' b -> m_e [a]
- sepBy'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e'' m_e'', MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e'' [a]
- sepBy1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e (NonEmpty a)
- skipMany'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' ()
- skipMany1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e ()
- eitherP :: Alternative f => f a -> f b -> f (Either a b)
- class MonoFoldable c => Chunk c where
- class DecodingElemsRead s where
- elemsRead :: (DecodingState s, DecodingElemsRead s, Monad m) => GetT s i o e m Word64
- endOfInput :: (DecodingState s, MonoFoldable (DecodingToken s), Monad m) => GetT s (DecodingToken s) o () m ()
- skip :: (DecodingState s, Chunk (DecodingToken s), Monad m) => Word64 -> GetT s (DecodingToken s) o () m ()
- isolate :: (DecodingState s, Chunk (DecodingToken s), DecodingElemsRead s, Monad m) => Word64 -> GetT s (DecodingToken s) o e m a -> GetT s (DecodingToken s) o (Either (Maybe Word64) e) m a
- matchP :: (DecodingState s, Monoid (DecodingToken s), Monad m) => GetT s (DecodingToken s) o e m a -> GetT s (DecodingToken s) o e m (DecodingToken s, a)
- tryP :: Monad m => GetT s i o e m a -> GetT s i o e m a
Documentation
choice :: Alternative f => [f a] -> f a #
choice ps
tries to apply the actions in the list ps
in order,
until one of them succeeds. Returns the value of the succeeding
action.
option'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' (Maybe a) Source #
many'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' [a] Source #
many1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e (NonEmpty a) Source #
manyTill'' :: (MonadPlus m_Unit, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e' b -> m_e [a] Source #
sepBy'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e'' m_e'', MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e'' [a] Source #
sepBy1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e, MonadMapError e' m_e' () m_Unit, MonadMapError () m_Unit () m_Unit) => m_e a -> m_e' s -> m_e (NonEmpty a) Source #
skipMany'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e' m_e') => m_e a -> m_e' () Source #
skipMany1'' :: (MonadPlus m_Unit, MonadMapError e m_e () m_Unit, MonadMapError () m_Unit e m_e) => m_e a -> m_e () Source #
eitherP :: Alternative f => f a -> f b -> f (Either a b) #
Combine two alternatives.
class MonoFoldable c => Chunk c where Source #
Instances
Chunk ByteString Source # | |
Defined in Data.Conduit.Parsers osplitAt :: Int -> ByteString -> (ByteString, ByteString) Source # | |
Chunk Text Source # | |
class DecodingElemsRead s where Source #
decodingElemsRead :: s -> Word64 Source #
Instances
DecodingElemsRead ByteOffset Source # | |
Defined in Data.Conduit.Parsers.Binary.ByteOffset decodingElemsRead :: ByteOffset -> Word64 Source # | |
DecodingElemsRead TextOffset Source # | |
Defined in Data.Conduit.Parsers.Text.TextOffset decodingElemsRead :: TextOffset -> Word64 Source # | |
(DecodingState s, DecodingElemsRead s) => DecodingElemsRead (Decoding s i) Source # | |
Defined in Data.Conduit.Parsers decodingElemsRead :: Decoding s i -> Word64 Source # |
elemsRead :: (DecodingState s, DecodingElemsRead s, Monad m) => GetT s i o e m Word64 Source #
Get the total number of bytes read to this point.
endOfInput :: (DecodingState s, MonoFoldable (DecodingToken s), Monad m) => GetT s (DecodingToken s) o () m () Source #
skip :: (DecodingState s, Chunk (DecodingToken s), Monad m) => Word64 -> GetT s (DecodingToken s) o () m () Source #
Skip ahead n
bytes. Fails if fewer than n
bytes are available.
:: (DecodingState s, Chunk (DecodingToken s), DecodingElemsRead s, Monad m) | |
=> Word64 | The number of bytes that must be consumed. |
-> GetT s (DecodingToken s) o e m a | The decoder to isolate. |
-> GetT s (DecodingToken s) o (Either (Maybe Word64) e) m a |
Isolate a decoder to operate with a fixed number of bytes, and fail if
fewer bytes were consumed, or if fewer bytes are left in the input.
Unlike isolate
from binary package,
offset from bytesRead
will NOT be relative to the start of isolate
.
matchP :: (DecodingState s, Monoid (DecodingToken s), Monad m) => GetT s (DecodingToken s) o e m a -> GetT s (DecodingToken s) o e m (DecodingToken s, a) Source #