Safe Haskell	None
Language	Haskell2010

Data.Conduit.Parsers

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.

count :: Monad m => Int -> m a -> m [a] #

Apply the given action repeatedly, returning every result.

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) #

Combine two alternatives.

class MonoFoldable c => Chunk c where #

Minimal complete definition

osplitAt

Methods

osplitAt :: Int -> c -> (c, c) #

Instances

Chunk ByteString #
Instance details Defined in Data.Conduit.Parsers Methods osplitAt :: Int -> ByteString -> (ByteString, ByteString) #
Chunk Text #
Instance details Defined in Data.Conduit.Parsers Methods osplitAt :: Int -> Text -> (Text, Text) #

class DecodingElemsRead s where #

Minimal complete definition

decodingElemsRead

Methods

decodingElemsRead :: s -> Word64 #

Instances

DecodingElemsRead ByteOffset #
Instance details Defined in Data.Conduit.Parsers.Binary.ByteOffset Methods decodingElemsRead :: ByteOffset -> Word64 #
DecodingElemsRead TextOffset #
Instance details Defined in Data.Conduit.Parsers.Text.TextOffset Methods decodingElemsRead :: TextOffset -> Word64 #
(DecodingState s, DecodingElemsRead s) => DecodingElemsRead (Decoding s i) #
Instance details Defined in Data.Conduit.Parsers Methods decodingElemsRead :: Decoding s i -> Word64 #

elemsRead :: (DecodingState s, DecodingElemsRead s, Monad m) => GetT s i o e m Word64 #

Get the total number of bytes read to this point.

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 () #

Skip ahead n bytes. Fails if fewer than n bytes are available.

isolate #

Arguments

:: (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) #

tryP :: Monad m => GetT s i o e m a -> GetT s i o e m a #

Leftover consumed input on error.