Ptr.Parse

Documentation

newtype Parse output

Constructors

Parse (Int -> Ptr Word8 -> forall result. (Int -> IO result) -> (Text -> IO result) -> (output -> Int -> Ptr Word8 -> IO result) -> IO result)

Instances

Monad Parse

Methods

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

(>>) :: Parse a -> Parse b -> Parse b

return :: a -> Parse a

fail :: String -> Parse a

Functor Parse

Methods

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

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

Applicative Parse

Methods

pure :: a -> Parse a

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

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

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

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

MonadIO Parse

Methods

liftIO :: IO a -> Parse a

Alternative Parse

Methods

empty :: Parse a

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

some :: Parse a -> Parse [a]

many :: Parse a -> Parse [a]

MonadPlus Parse

Methods

mzero :: Parse a

mplus :: Parse a -> Parse a -> Parse a

fail :: Text -> Parse output

io :: Int -> (Ptr Word8 -> IO output) -> Parse output

mapInIO :: (output -> IO newOutput) -> Parse output -> Parse newOutput

pokeAndPeek :: PokeAndPeek input output -> Parse output

limiting :: Int -> Parse output -> Parse output

peekRemainders :: Parse ByteString

Decode the remaining bytes, whithout moving the parser's cursor. Useful for debugging.

word8 :: Parse Word8

beWord16 :: Parse Word16

beWord32 :: Parse Word32

beWord64 :: Parse Word64

bytes :: Int -> Parse ByteString

allBytes :: Parse ByteString

nullTerminatedBytes :: Parse ByteString

nullTerminatedShortByteString :: Parse ShortByteString

bytesWhile :: (Word8 -> Bool) -> Parse ByteString

skipWhile :: (Word8 -> Bool) -> Parse ()

foldWhile :: (Word8 -> Bool) -> (state -> Word8 -> state) -> state -> Parse state

unsignedASCIIIntegral :: Integral a => Parse a

Unsigned integral number encoded in ASCII.