Ptr.ParseUnbound

Documentation

newtype ParseUnbound output

Unbound parser, whose peeking action decides how much input to consume, and merely informs the executor about how many bytes it consumed.

Constructors

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

Instances

Monad ParseUnbound

Defined in Ptr.ParseUnbound

Methods

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

(>>) :: ParseUnbound a -> ParseUnbound b -> ParseUnbound b

return :: a -> ParseUnbound a

fail :: String -> ParseUnbound a

Functor ParseUnbound

Defined in Ptr.ParseUnbound

Methods

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

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

Applicative ParseUnbound

Defined in Ptr.ParseUnbound

Methods

pure :: a -> ParseUnbound a

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

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

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

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

fail :: Text -> ParseUnbound output

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

pokeAndPeek :: PokeAndPeek input output -> ParseUnbound output

word8 :: ParseUnbound Word8

beWord16 :: ParseUnbound Word16

beWord32 :: ParseUnbound Word32

beWord64 :: ParseUnbound Word64

bytes :: Int -> ParseUnbound ByteString

nullTerminatedBytes :: ParseUnbound ByteString

nullTerminatedShortByteString :: ParseUnbound ShortByteString

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

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

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

unsignedASCIIIntegral :: Integral a => ParseUnbound a

Unsigned integral number encoded in ASCII.