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

Data.Attoparsec.Internal

Description

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

Synopsis

compareResults :: (Eq i, Eq r) => IResult i r -> IResult i r -> Maybe Bool
class (DirectedPlus d, Chunk c, Show (DirState d c)) => DirChunk (d :: Dir) c
prompt :: forall t (d :: Dir) r. (Show t, DirChunk d t) => DirState d t -> DirPos d -> More -> (DirState d t -> DirPos d -> More -> IResult t r) -> (DirState d t -> DirPos d -> More -> IResult t r) -> IResult t r
demandInput :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t ()
demandInput_ :: forall (d :: Dir) t. DirChunk d t => DirParser d t t
wantInput :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t Bool
endOfInput :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t ()
atEnd :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t Bool
satisfyElem :: forall t (d :: Dir). (Show t, DirChunk d t) => (DirChunkElem d t -> Bool) -> DirParser d t (DirChunkElem d t)
concatReverse :: DirChunk d c => [Tagged d c] -> Tagged d c

Documentation

compareResults :: (Eq i, Eq r) => IResult i r -> IResult i r -> Maybe Bool Source #

Compare two IResult values for equality.

If both IResults are Partial, the result will be Nothing, as they are incomplete and hence their equality cannot be known. (This is why there is no Eq instance for IResult.)

class (DirectedPlus d, Chunk c, Show (DirState d c)) => DirChunk (d :: Dir) c Source #

Minimal complete definition

notAtBufferEnd, bufferElemAt, shiftPositionOnBufferExtend, pappendChunk, concatReverse

Instances

Instances details

DirChunk 'Backward ByteString Source #

Instance details

Defined in Data.Attoparsec.Internal.Types

Associated Types

type DirChunkElem 'Backward ByteString
Instance details Defined in Data.Attoparsec.Internal.Types type DirChunkElem 'Backward ByteString = Word8

Methods

notAtBufferEnd :: ByteString -> DirPos 'Backward -> DirState 'Backward ByteString -> Bool Source #

bufferElemAt :: ByteString -> DirPos 'Backward -> DirState 'Backward ByteString -> Maybe (DirChunkElem 'Backward ByteString, Int) Source #

shiftPositionOnBufferExtend :: DirPos 'Backward -> ByteString -> DirPos 'Backward Source #

pappendChunk :: DirState 'Backward ByteString -> Tagged 'Backward ByteString -> DirState 'Backward ByteString Source #

concatReverse :: [Tagged 'Backward ByteString] -> Tagged 'Backward ByteString Source #

DirChunk 'Forward ByteString Source #

Instance details

Defined in Data.Attoparsec.Internal.Types

Associated Types

type DirChunkElem 'Forward ByteString
Instance details Defined in Data.Attoparsec.Internal.Types type DirChunkElem 'Forward ByteString = Word8

Methods

notAtBufferEnd :: ByteString -> DirPos 'Forward -> DirState 'Forward ByteString -> Bool Source #

bufferElemAt :: ByteString -> DirPos 'Forward -> DirState 'Forward ByteString -> Maybe (DirChunkElem 'Forward ByteString, Int) Source #

shiftPositionOnBufferExtend :: DirPos 'Forward -> ByteString -> DirPos 'Forward Source #

pappendChunk :: DirState 'Forward ByteString -> Tagged 'Forward ByteString -> DirState 'Forward ByteString Source #

concatReverse :: [Tagged 'Forward ByteString] -> Tagged 'Forward ByteString Source #

DirChunk 'Forward Text Source #

Instance details

Defined in Data.Attoparsec.Internal.Types

Associated Types

type DirChunkElem 'Forward Text
Instance details Defined in Data.Attoparsec.Internal.Types type DirChunkElem 'Forward Text = Char

Methods

notAtBufferEnd :: Text -> DirPos 'Forward -> DirState 'Forward Text -> Bool Source #

bufferElemAt :: Text -> DirPos 'Forward -> DirState 'Forward Text -> Maybe (DirChunkElem 'Forward Text, Int) Source #

shiftPositionOnBufferExtend :: DirPos 'Forward -> Text -> DirPos 'Forward Source #

pappendChunk :: DirState 'Forward Text -> Tagged 'Forward Text -> DirState 'Forward Text Source #

concatReverse :: [Tagged 'Forward Text] -> Tagged 'Forward Text Source #

prompt :: forall t (d :: Dir) r. (Show t, DirChunk d t) => DirState d t -> DirPos d -> More -> (DirState d t -> DirPos d -> More -> IResult t r) -> (DirState d t -> DirPos d -> More -> IResult t r) -> IResult t r Source #

Ask for input. If we receive any, pass the augmented input to a success continuation, otherwise to a failure continuation.

demandInput :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t () Source #

Immediately demand more input via a Partial continuation result.

demandInput_ :: forall (d :: Dir) t. DirChunk d t => DirParser d t t Source #

Immediately demand more input via a Partial continuation result. Return the new input.

wantInput :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t Bool Source #

This parser always succeeds. It returns True if any input is available either immediately or on demand, and False if the end of all input has been reached.

endOfInput :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t () Source #

Match only if all input has been consumed.

atEnd :: forall t (d :: Dir). (Show t, DirChunk d t) => DirParser d t Bool Source #

Return an indication of whether the end of input has been reached.

satisfyElem :: forall t (d :: Dir). (Show t, DirChunk d t) => (DirChunkElem d t -> Bool) -> DirParser d t (DirChunkElem d t) Source #

The parser satisfyElem p succeeds for any chunk element for which the predicate p returns True. Returns the element that is actually parsed.

concatReverse :: DirChunk d c => [Tagged d c] -> Tagged d c Source #