Modulescanner-0.3.2Haskell2010

Scanner.Internal

Scanner implementation

newtypenewtype Scanner a

CPS scanner without backtracking

Instances4Monad, Functor, MonadFail, Applicative

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

Scanner continuation

datadata Result r

Scanner result

valuescan :: Scanner r -> ByteString -> Result r

Run scanner with the input

valueanyWord8 :: Scanner Word8

Consume the next word

It fails if end of input

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

Take input while the predicate is True

valuetake :: Int -> Scanner ByteString

Take the specified number of bytes

valueendOfInput :: Scanner Bool

Returns True when there is no more input

valuestring :: 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

valuelookAhead :: Scanner (Maybe Word8)

Return the next byte, if any, without consuming it

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

Fold over the octets, which satisfy the predicate

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

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

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

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

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

Consume a single octet in case it satisfies the predicate

valuedecimal :: Integral n => Scanner n

Parse a non-negative decimal number in ASCII