Copyright	Bryan O'Sullivan 2007-2015
License	BSD3
Maintainer	bos@serpentine.com
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	GHC2024

Data.Attoparsec.Types

Description

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

Synopsis

type Parser = DirParser 'Forward
data DirParser (d :: Dir) i a
data IResult i r
- = Fail i [String] String
- | Partial (i -> IResult i r)
- | Done i r
class Monoid c => Chunk c where
- chunkElemToChar :: c -> ChunkElem c -> Char

Documentation

type Parser = DirParser 'Forward Source #

data DirParser (d :: Dir) i a Source #

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.

Instances

Instances details

a ~ Text => IsString (Parser a) Source #
Instance details Defined in Data.Attoparsec.Text.Internal Methods fromString :: String -> Parser a #
Alternative (DirParser 'Backward ByteString) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods empty :: DirParser 'Backward ByteString a # (<\|>) :: DirParser 'Backward ByteString a -> DirParser 'Backward ByteString a -> DirParser 'Backward ByteString a # some :: DirParser 'Backward ByteString a -> DirParser 'Backward ByteString [a] # many :: DirParser 'Backward ByteString a -> DirParser 'Backward ByteString [a] #
Alternative (DirParser 'Forward i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods empty :: DirParser 'Forward i a # (<\|>) :: DirParser 'Forward i a -> DirParser 'Forward i a -> DirParser 'Forward i a # some :: DirParser 'Forward i a -> DirParser 'Forward i [a] # many :: DirParser 'Forward i a -> DirParser 'Forward i [a] #
Applicative (DirParser d i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods pure :: a -> DirParser d i a # (<>) :: DirParser d i (a -> b) -> DirParser d i a -> DirParser d i b # liftA2 :: (a -> b -> c) -> DirParser d i a -> DirParser d i b -> DirParser d i c # (>) :: DirParser d i a -> DirParser d i b -> DirParser d i b # (<*) :: DirParser d i a -> DirParser d i b -> DirParser d i a #
Functor (DirParser d i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods fmap :: (a -> b) -> DirParser d i a -> DirParser d i b # (<$) :: a -> DirParser d i b -> DirParser d i a #
Monad (DirParser d i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods (>>=) :: DirParser d i a -> (a -> DirParser d i b) -> DirParser d i b # (>>) :: DirParser d i a -> DirParser d i b -> DirParser d i b # return :: a -> DirParser d i a #
MonadPlus (DirParser 'Backward ByteString) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods mzero :: DirParser 'Backward ByteString a # mplus :: DirParser 'Backward ByteString a -> DirParser 'Backward ByteString a -> DirParser 'Backward ByteString a #
MonadPlus (DirParser 'Forward i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods mzero :: DirParser 'Forward i a # mplus :: DirParser 'Forward i a -> DirParser 'Forward i a -> DirParser 'Forward i a #
MonadFail (DirParser d i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods fail :: String -> DirParser d i a #
(Directed d, a ~ ByteString) => IsString (DirParser d a) Source #
Instance details Defined in Data.Attoparsec.ByteString.Char8 Methods fromString :: String -> DirParser d a #
Monoid (DirParser 'Forward i a) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods mempty :: DirParser 'Forward i a # mappend :: DirParser 'Forward i a -> DirParser 'Forward i a -> DirParser 'Forward i a # mconcat :: [DirParser 'Forward i a] -> DirParser 'Forward i a #
Semigroup (DirParser 'Forward i a) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods (<>) :: DirParser 'Forward i a -> DirParser 'Forward i a -> DirParser 'Forward i a # sconcat :: NonEmpty (DirParser 'Forward i a) -> DirParser 'Forward i a # stimes :: Integral b => b -> DirParser 'Forward i a -> DirParser 'Forward i a #

data IResult i r Source #

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

Instances details

Functor (IResult i) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods fmap :: (a -> b) -> IResult i a -> IResult i b # (<$) :: a -> IResult i b -> IResult i a #
(NFData i, NFData r) => NFData (IResult i r) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods rnf :: IResult i r -> () #
(Show i, Show r) => Show (IResult i r) Source #
Instance details Defined in Data.Attoparsec.Internal.Types Methods showsPrec :: Int -> IResult i r -> ShowS # show :: IResult i r -> String # showList :: [IResult i r] -> ShowS #