Control.Proxy.Attoparsec.Types

This module exports common types used throughout Control.Proxy.Attoparsec.*

Proxy control

data ParserStatus a

Status of a parsing Proxy.

Constructors

Parsing

There is a Parser running and waiting for more a input.

Receiving (Resume, a) from upstream would feed input a to the Parser waiting for more input.

Fields

psLength :: Int

Length of input consumed so far.

Failed

A Parser has failed parsing.

Receiving (Resume, a) from upstream would feed input a to a newly started Parser.

Fields

psLeftover :: a

Input not yet consumed when the failure occurred.

psError :: ParserError

Error found while parsing.

Instances

Eq a => Eq (ParserStatus a)

Show a => Show (ParserStatus a)

data SupplyUse

Indicates how should a parsing Proxy use new input.

Constructors

Start

Start a new parser and fed any new input to it.

Resume

Resume feeding any new input to the current parser waiting for input.

Instances

Eq SupplyUse

Show SupplyUse

type ParserSupply a = (SupplyUse, a)

Input supplied to a parsing Proxy.

The SupplyUse value indicates how the a input chunk should be used.

Error types

data BadInput

Reasons for an input value to be unnaceptable.

Constructors

InputTooLong

Fields

itlLength :: Int

Length of the input.

MalformedInput

Fields

miParserErrror :: ParserError

Error found while parsing.

Instances

Eq BadInput

Show BadInput

Attoparsec integration

class Eq a => AttoparsecInput a where

A class for valid Attoparsec input types.

Methods

parse :: Parser a b -> a -> IResult a b

Run a Parser with input a.

null :: a -> Bool

Tests whether a is empty.

drop :: Int -> a -> a

Skips the first n elements from a and returns the rest.

length :: a -> Int

Number of elements in a.

Instances

AttoparsecInput ByteString

AttoparsecInput Text

data ParserError

Constructors

ParserError

Fields

errorContexts :: [String]

Contexts where the error occurred.

errorMessage :: String

Error message.

Instances

Eq ParserError

Show ParserError