Data.Attoparsec.Internal.Types

Simple, efficient parser combinators, loosely based on the Parsec library.

Documentation

newtype Parser i a

The core parser type. This is parameterised over the type i of string being processed.

This type is an instance of the following classes:

• Monad, where fail throws an exception (i.e. fails) with an error message.
• Functor and Applicative, which follow the usual definitions.
• MonadPlus, where mzero fails (with no error message) and mplus executes the right-hand parser if the left-hand one fails. When the parser on the right executes, the input is reset to the same state as the parser on the left started with. (In other words, attoparsec is a backtracking parser that supports arbitrary lookahead.)
• Alternative, which follows MonadPlus.

Constructors

Parser

Fields

• runParser :: forall r. State i -> Pos -> More -> Failure i (State i) r -> Success i (State i) a r -> IResult i r

Instances

Monad (Parser i)

Defined in Data.Attoparsec.Internal.Types

Methods

(>>=) :: Parser i a -> (a -> Parser i b) -> Parser i b

(>>) :: Parser i a -> Parser i b -> Parser i b

return :: a -> Parser i a

Functor (Parser i)

Defined in Data.Attoparsec.Internal.Types

Methods

fmap :: (a -> b) -> Parser i a -> Parser i b

(<$) :: a -> Parser i b -> Parser i a

MonadFail (Parser i)

Defined in Data.Attoparsec.Internal.Types

Methods

fail :: String -> Parser i a

a ~ Text => IsString (Parser a)

Defined in Data.Attoparsec.Text.Internal

Methods

fromString :: String -> Parser a

a ~ ByteString => IsString (Parser a)

Defined in Data.Attoparsec.ByteString.Char8

Methods

fromString :: String -> Parser a

Applicative (Parser i)

Defined in Data.Attoparsec.Internal.Types

Methods

pure :: a -> Parser i a

(<*>) :: Parser i (a -> b) -> Parser i a -> Parser i b

liftA2 :: (a -> b -> c) -> Parser i a -> Parser i b -> Parser i c

(*>) :: Parser i a -> Parser i b -> Parser i b

(<*) :: Parser i a -> Parser i b -> Parser i a

Alternative (Parser i)

Defined in Data.Attoparsec.Internal.Types

Methods

empty :: Parser i a

(<|>) :: Parser i a -> Parser i a -> Parser i a

some :: Parser i a -> Parser i [a]

many :: Parser i a -> Parser i [a]

MonadPlus (Parser i)

Defined in Data.Attoparsec.Internal.Types

Methods

mzero :: Parser i a

mplus :: Parser i a -> Parser i a -> Parser i a

Semigroup (Parser i a)

Defined in Data.Attoparsec.Internal.Types

Methods

(<>) :: Parser i a -> Parser i a -> Parser i a

sconcat :: NonEmpty (Parser i a) -> Parser i a

stimes :: Integral b => b -> Parser i a -> Parser i a

Monoid (Parser i a)

Defined in Data.Attoparsec.Internal.Types

Methods

mempty :: Parser i a

mappend :: Parser i a -> Parser i a -> Parser i a

mconcat :: [Parser i a] -> Parser i a

type family State i

Instances

type State ByteString

Defined in Data.Attoparsec.Internal.Types

type State ByteString

type State Text

Defined in Data.Attoparsec.Internal.Types

type State Text

type Failure i t r = t -> Pos -> More -> [String] -> String -> IResult i r

type Success i t a r = t -> Pos -> More -> a -> IResult i r

newtype Pos

Constructors

Pos

Fields

• fromPos :: Int

Instances

Eq Pos

Defined in Data.Attoparsec.Internal.Types

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Num Pos

Defined in Data.Attoparsec.Internal.Types

Methods

(+) :: Pos -> Pos -> Pos

(-) :: Pos -> Pos -> Pos

(*) :: Pos -> Pos -> Pos

negate :: Pos -> Pos

abs :: Pos -> Pos

signum :: Pos -> Pos

fromInteger :: Integer -> Pos

Ord Pos

Defined in Data.Attoparsec.Internal.Types

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

(<=) :: Pos -> Pos -> Bool

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

Show Pos

Defined in Data.Attoparsec.Internal.Types

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

data IResult i r

The result of a parse. This is parameterised over the type i of string that was processed.

This type is an instance of Functor, where fmap transforms the value in a Done result.

Constructors

Fail i [String] String

The parse failed. The i parameter is the input that had not yet been consumed when the failure occurred. The [String] is a list of contexts in which the error occurred. The String is the message describing the error, if any.

Partial (i -> IResult i r)

Supply this continuation with more input so that the parser can resume. To indicate that no more input is available, pass an empty string to the continuation.

Note: if you get a Partial result, do not call its continuation more than once.

Done i r

The parse succeeded. The i parameter is the input that had not yet been consumed (if any) when the parse succeeded.

Instances

Functor (IResult i)

Defined in Data.Attoparsec.Internal.Types

Methods

fmap :: (a -> b) -> IResult i a -> IResult i b

(<$) :: a -> IResult i b -> IResult i a

(Show i, Show r) => Show (IResult i r)

Defined in Data.Attoparsec.Internal.Types

Methods

showsPrec :: Int -> IResult i r -> ShowS

show :: IResult i r -> String

showList :: [IResult i r] -> ShowS

(NFData i, NFData r) => NFData (IResult i r)

Defined in Data.Attoparsec.Internal.Types

Methods

rnf :: IResult i r -> ()

data More

Have we read all available input?

Constructors

Complete

Incomplete

Instances

Eq More

Defined in Data.Attoparsec.Internal.Types

Methods

(==) :: More -> More -> Bool

(/=) :: More -> More -> Bool

Show More

Defined in Data.Attoparsec.Internal.Types

Methods

showsPrec :: Int -> More -> ShowS

show :: More -> String

showList :: [More] -> ShowS

Semigroup More

Defined in Data.Attoparsec.Internal.Types

Methods

(<>) :: More -> More -> More

sconcat :: NonEmpty More -> More

stimes :: Integral b => b -> More -> More

Monoid More

Defined in Data.Attoparsec.Internal.Types

Methods

mempty :: More

mappend :: More -> More -> More

mconcat :: [More] -> More

(<>) :: Semigroup a => a -> a -> a infixr 6

An associative operation.

>>> [1,2,3] <> [4,5,6]
[1,2,3,4,5,6]

class Monoid c => Chunk c where

A common interface for input chunks.

Associated Types

type ChunkElem c

Methods

nullChunk :: c -> Bool

Test if the chunk is empty.

pappendChunk :: State c -> c -> State c

Append chunk to a buffer.

atBufferEnd :: c -> State c -> Pos

Position at the end of a buffer. The first argument is ignored.

bufferElemAt :: c -> Pos -> State c -> Maybe (ChunkElem c, Int)

Return the buffer element at the given position along with its length.

chunkElemToChar :: c -> ChunkElem c -> Char

Map an element to the corresponding character. The first argument is ignored.

Instances

Chunk ByteString

Defined in Data.Attoparsec.Internal.Types

Associated Types

type ChunkElem ByteString

Methods

nullChunk :: ByteString -> Bool

pappendChunk :: State ByteString -> ByteString -> State ByteString

atBufferEnd :: ByteString -> State ByteString -> Pos

bufferElemAt :: ByteString -> Pos -> State ByteString -> Maybe (ChunkElem ByteString, Int)

chunkElemToChar :: ByteString -> ChunkElem ByteString -> Char

Chunk Text

Defined in Data.Attoparsec.Internal.Types

Associated Types

type ChunkElem Text

Methods

nullChunk :: Text -> Bool

pappendChunk :: State Text -> Text -> State Text

atBufferEnd :: Text -> State Text -> Pos

bufferElemAt :: Text -> Pos -> State Text -> Maybe (ChunkElem Text, Int)

chunkElemToChar :: Text -> ChunkElem Text -> Char