Safe Haskell	None
Language	Haskell2010

Scanner

Description

Fast not-backtracking incremental scanner for bytestrings

Unlike attoparsec or most of other parser combinator libraries, scanner doesn't support backtracking. But you probably don't need it anyway, at least if you need fast parser.

Scanner processes input incrementally. When more input is needed, scanner returns More continuation. All the already processed input is discarded.

Synopsis

data Scanner a
data Result r
- = Done ByteString r
- | Fail ByteString String
- | More (ByteString -> Result r)
scan :: Scanner r -> ByteString -> Result r
scanOnly :: Scanner a -> ByteString -> Either String a
scanLazy :: Scanner a -> ByteString -> Either String a
scanWith :: Monad m => m ByteString -> Scanner a -> ByteString -> m (Result a)
anyWord8 :: Scanner Word8
anyChar8 :: Scanner Char
word8 :: Word8 -> Scanner ()
char8 :: Char -> Scanner ()
take :: Int -> Scanner ByteString
takeWhile :: (Word8 -> Bool) -> Scanner ByteString
takeWhileChar8 :: (Char -> Bool) -> Scanner ByteString
string :: ByteString -> Scanner ()
skipWhile :: (Word8 -> Bool) -> Scanner ()
skipSpace :: Scanner ()
lookAhead :: Scanner (Maybe Word8)
lookAheadChar8 :: Scanner (Maybe Char)
foldlWhile :: (Word8 -> Bool) -> (a -> Word8 -> a) -> a -> Scanner a
foldlWhile1 :: (Word8 -> Bool) -> (a -> Word8 -> a) -> a -> Scanner a
satisfy :: (Word8 -> Bool) -> Scanner Word8
satisfyMaybe :: (Word8 -> Bool) -> Scanner (Maybe Word8)
decimal :: Integral n => Scanner n

Documentation

data Scanner a Source #

CPS scanner without backtracking

Instances

Monad Scanner Source #
Instance details Defined in Scanner.Internal Methods (>>=) :: Scanner a -> (a -> Scanner b) -> Scanner b # (>>) :: Scanner a -> Scanner b -> Scanner b # return :: a -> Scanner a # fail :: String -> Scanner a #
Functor Scanner Source #
Instance details Defined in Scanner.Internal Methods fmap :: (a -> b) -> Scanner a -> Scanner b # (<$) :: a -> Scanner b -> Scanner a #
MonadFail Scanner Source #
Instance details Defined in Scanner.Internal Methods fail :: String -> Scanner a #
Applicative Scanner Source #
Instance details Defined in Scanner.Internal Methods pure :: a -> Scanner a # (<>) :: Scanner (a -> b) -> Scanner a -> Scanner b # liftA2 :: (a -> b -> c) -> Scanner a -> Scanner b -> Scanner c # (>) :: Scanner a -> Scanner b -> Scanner b # (<*) :: Scanner a -> Scanner b -> Scanner a #

data Result r Source #

Scanner result

Constructors

Done ByteString r	Successful result with the rest of input
Fail ByteString String	Scanner failed with rest of input and error message
More (ByteString -> Result r)	Need more input