Scanner.Internal

Scanner implementation

Documentation

newtype Scanner a

CPS scanner without backtracking

Constructors

Scanner

Fields

• run :: forall r. ByteString -> Next a r -> Result r

Instances

Monad Scanner

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

Defined in Scanner.Internal

Methods

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

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

Applicative Scanner

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

type Next a r = ByteString -> a -> Result r

Scanner continuation

data Result r

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

scan :: Scanner r -> ByteString -> Result r

Run scanner with the input

anyWord8 :: Scanner Word8

Consume the next word

It fails if end of input

takeWhile :: (Word8 -> Bool) -> Scanner ByteString

Take input while the predicate is True

take :: Int -> Scanner ByteString

Take the specified number of bytes

endOfInput :: Scanner Bool

Returns True when there is no more input

string :: ByteString -> Scanner ()

Consume the specified string

Warning: it is not optimized yet, so for for small string it is better to consume it byte-by-byte using word8

lookAhead :: Scanner (Maybe Word8)

Return the next byte, if any, without consuming it

foldlWhile :: (Word8 -> Bool) -> (a -> Word8 -> a) -> a -> Scanner a

Fold over the octets, which satisfy the predicate

foldlWhile1 :: (Word8 -> Bool) -> (a -> Word8 -> a) -> a -> Scanner a

Fold over the octets, which satisfy the predicate, ensuring that there's at least one

satisfy :: (Word8 -> Bool) -> Scanner Word8

Consume a single octet which satisfies the predicate and fail if it does not

satisfyMaybe :: (Word8 -> Bool) -> Scanner (Maybe Word8)

Consume a single octet in case it satisfies the predicate

decimal :: Integral n => Scanner n

Parse a non-negative decimal number in ASCII