Data.Conduit.Parsers

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

Defined in Data.Conduit.Parsers

Methods

osplitAt :: Int -> ByteString -> (ByteString, ByteString)

Chunk Text

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

Defined in Data.Conduit.Parsers.Binary.ByteOffset

Methods

decodingElemsRead :: ByteOffset -> Word64

DecodingElemsRead TextOffset

Defined in Data.Conduit.Parsers.Text.TextOffset

Methods

decodingElemsRead :: TextOffset -> Word64

(DecodingState s, DecodingElemsRead s) => DecodingElemsRead (Decoding s i)

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.