Text.PariPari.Acceptor

Documentation

data Acceptor a

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

Instances

Monad Acceptor

Defined in Text.PariPari.Acceptor

Methods

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

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

return :: a -> Acceptor a

fail :: String -> Acceptor a

Functor Acceptor

Defined in Text.PariPari.Acceptor

Methods

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

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

MonadFail Acceptor

Defined in Text.PariPari.Acceptor

Methods

fail :: String -> Acceptor a

Applicative Acceptor

Defined in Text.PariPari.Acceptor

Methods

pure :: a -> Acceptor a

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

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

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

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

Alternative Acceptor

Defined in Text.PariPari.Acceptor

Methods

empty :: Acceptor a

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

some :: Acceptor a -> Acceptor [a]

many :: Acceptor a -> Acceptor [a]

MonadPlus Acceptor

Defined in Text.PariPari.Acceptor

Methods

mzero :: Acceptor a

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

MonadParser Acceptor

Defined in Text.PariPari.Acceptor

Methods

getFile :: Acceptor FilePath

getPos :: Acceptor Pos

getRefPos :: Acceptor Pos

withRefPos :: Acceptor a -> Acceptor a

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

lookAhead :: Acceptor a -> Acceptor a

failWith :: Error -> Acceptor a

eof :: Acceptor ()

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

hidden :: Acceptor a -> Acceptor a

commit :: Acceptor a -> Acceptor a

byte :: Word8 -> Acceptor Word8

char :: Char -> Acceptor Char

satisfy :: (Char -> Bool) -> Acceptor Char

byteSatisfy :: (Word8 -> Bool) -> Acceptor Word8

bytes :: ByteString -> Acceptor ByteString

asBytes :: Acceptor () -> Acceptor ByteString

Semigroup a => Semigroup (Acceptor a)

Defined in Text.PariPari.Acceptor

Methods

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

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

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

Monoid a => Monoid (Acceptor a)

Defined in Text.PariPari.Acceptor

Methods

mempty :: Acceptor a

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

mconcat :: [Acceptor a] -> Acceptor a

runAcceptor :: Acceptor a -> FilePath -> ByteString -> Either Error a

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