Data.IterIO.Atto

This module contains an adapter function to run attoparsec Parsers from within the Iter monad.

Documentation

class ChunkData t => IterStrictByteString t where

Class of types whose Iters can be converted to strict ByteStrings. Basically just strict ByteStrings and lazy ByteStrings. This class mostly exists so that the atto function can work with either type of ByteString.

Methods

fromIterStrictByteString :: Monad m => Iter ByteString m a -> Iter t m a

Instances

IterStrictByteString ByteString

IterStrictByteString ByteString

atto :: (IterStrictByteString t, Monad m) => Parser a -> Iter t m a

Run an attoparsec parser in an Iter monad. Throws an IterFail exception with constructor IterParseErr if the parse fails. (This exception can be handled with multiParse and ifParse.)

tryAtto :: (IterStrictByteString t, Monad m) => Parser a -> Iter t m (Either String a)

Try running an attoparsec parser. Returns Right a if the parser succeeds with result a. Returns Left err where err is an error message otherwise. Note that the input stream will be in an indeterminate state should the parser fail. (If you need to keep parsing input from some known state, it may be better to use atto in conjunction with multiParse.)