Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype ParseUnbound output = ParseUnbound (Ptr Word8 -> forall result. (Text -> IO result) -> (output -> Int -> IO result) -> IO result)
- 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
Documentation
newtype ParseUnbound output Source #
Unbound parser, whose peeking action decides how much input to consume, and merely informs the executor about how many bytes it consumed.
ParseUnbound (Ptr Word8 -> forall result. (Text -> IO result) -> (output -> Int -> IO result) -> IO result) |
Instances
Applicative ParseUnbound Source # | |
Defined in Ptr.ParseUnbound 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 # | |
Functor ParseUnbound Source # | |
Defined in Ptr.ParseUnbound fmap :: (a -> b) -> ParseUnbound a -> ParseUnbound b # (<$) :: a -> ParseUnbound b -> ParseUnbound a # | |
Monad ParseUnbound Source # | |
Defined in Ptr.ParseUnbound (>>=) :: ParseUnbound a -> (a -> ParseUnbound b) -> ParseUnbound b # (>>) :: ParseUnbound a -> ParseUnbound b -> ParseUnbound b # return :: a -> ParseUnbound a # |
fail :: Text -> ParseUnbound output Source #
pokeAndPeek :: PokeAndPeek input output -> ParseUnbound output Source #
bytes :: Int -> ParseUnbound ByteString Source #
bytesWhile :: (Word8 -> Bool) -> ParseUnbound ByteString Source #
unsignedASCIIIntegral :: Integral a => ParseUnbound a Source #
Unsigned integral number encoded in ASCII.