Text.PariPari.Internal.Acceptor

Documentation

newtype Acceptor k a

Parser which is optimised for fast parsing. Error reporting is minimal.

Constructors

Acceptor

Fields

• unAcceptor :: forall b. Env k -> State -> (a -> State -> b) -> (Error -> b) -> b

Instances

CharChunk k => CharParser k (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

char :: Char -> Acceptor k Char

scan :: (Char -> Maybe a) -> Acceptor k a

asciiByte :: Word8 -> Acceptor k Word8

asciiScan :: (Word8 -> Maybe a) -> Acceptor k a

Chunk k => ChunkParser k (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

getFile :: Acceptor k FilePath

getPos :: Acceptor k Pos

getRefPos :: Acceptor k Pos

withRefPos :: Acceptor k a -> Acceptor k a

notFollowedBy :: Show a => Acceptor k a -> Acceptor k ()

lookAhead :: Acceptor k a -> Acceptor k a

failWith :: Error -> Acceptor k a

eof :: Acceptor k ()

label :: String -> Acceptor k a -> Acceptor k a

hidden :: Acceptor k a -> Acceptor k a

commit :: Acceptor k a -> Acceptor k a

recover :: Acceptor k a -> Acceptor k a -> Acceptor k a

element :: Element k -> Acceptor k (Element k)

elementScan :: (Element k -> Maybe a) -> Acceptor k a

chunk :: k -> Acceptor k k

asChunk :: Acceptor k () -> Acceptor k k

Chunk k => Monad (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

(>>=) :: Acceptor k a -> (a -> Acceptor k b) -> Acceptor k b

(>>) :: Acceptor k a -> Acceptor k b -> Acceptor k b

return :: a -> Acceptor k a

fail :: String -> Acceptor k a

Functor (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

fmap :: (a -> b) -> Acceptor k a -> Acceptor k b

(<$) :: a -> Acceptor k b -> Acceptor k a

Chunk k => MonadFail (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

fail :: String -> Acceptor k a

Chunk k => Applicative (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

pure :: a -> Acceptor k a

(<*>) :: Acceptor k (a -> b) -> Acceptor k a -> Acceptor k b

liftA2 :: (a -> b -> c) -> Acceptor k a -> Acceptor k b -> Acceptor k c

(*>) :: Acceptor k a -> Acceptor k b -> Acceptor k b

(<*) :: Acceptor k a -> Acceptor k b -> Acceptor k a

Chunk k => Alternative (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

empty :: Acceptor k a

(<|>) :: Acceptor k a -> Acceptor k a -> Acceptor k a

some :: Acceptor k a -> Acceptor k [a]

many :: Acceptor k a -> Acceptor k [a]

Chunk k => MonadPlus (Acceptor k)

Defined in Text.PariPari.Internal.Acceptor

Methods

mzero :: Acceptor k a

mplus :: Acceptor k a -> Acceptor k a -> Acceptor k a

CharChunk k => IsString (Acceptor k k)

Defined in Text.PariPari.Internal.Acceptor

Methods

fromString :: String -> Acceptor k k

(Chunk k, Semigroup a) => Semigroup (Acceptor k a)

Defined in Text.PariPari.Internal.Acceptor

Methods

(<>) :: Acceptor k a -> Acceptor k a -> Acceptor k a

sconcat :: NonEmpty (Acceptor k a) -> Acceptor k a

stimes :: Integral b => b -> Acceptor k a -> Acceptor k a

(Chunk k, Semigroup a, Monoid a) => Monoid (Acceptor k a)

Defined in Text.PariPari.Internal.Acceptor

Methods

mempty :: Acceptor k a

mappend :: Acceptor k a -> Acceptor k a -> Acceptor k a

mconcat :: [Acceptor k a] -> Acceptor k a

data Env k

Constructors

Env

Fields

• _envBuf :: !(Buffer k)
• _envEnd :: !Int
• _envFile :: !FilePath
• _envRefLine :: !Int
• _envRefColumn :: !Int

data State

Constructors

State

Fields

• _stOff :: !Int
• _stLine :: !Int
• _stColumn :: !Int

get :: (Env k -> State -> a) -> Acceptor k a

Reader monad, get something from the environment

local :: (State -> Env k -> Env k) -> Acceptor k a -> Acceptor k a

Reader monad, modify environment locally

runAcceptor :: Chunk k => Acceptor k a -> FilePath -> k -> Either Error a

Run Acceptor on the given chunk, returning either a simple Error or, if successful, the result.