Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Get a
- runCont :: Get a -> forall r. ByteString -> Success a r -> Decoder r
- data Decoder a
- = Fail !ByteString String
- | Partial (Maybe ByteString -> Decoder a)
- | Done !ByteString a
- | BytesRead !Int64 (Int64 -> Decoder a)
- runGetIncremental :: Get a -> Decoder a
- readN :: Int -> (ByteString -> a) -> Get a
- readNWith :: Int -> (Ptr a -> IO a) -> Get a
- skip :: Int -> Get ()
- bytesRead :: Get Int64
- get :: Get ByteString
- put :: ByteString -> Get ()
- demandInput :: Get ()
- ensureN :: Int -> Get ()
- remaining :: Get Int64
- getBytes :: Int -> Get ByteString
- isEmpty :: Get Bool
- lookAhead :: Get a -> Get a
- lookAheadM :: Get (Maybe a) -> Get (Maybe a)
- lookAheadE :: Get (Either a b) -> Get (Either a b)
- getByteString :: Int -> Get ByteString
The Get type
runCont :: Get a -> forall r. ByteString -> Success a r -> Decoder r Source
A decoder produced by running a Get
monad.
Fail !ByteString String | The decoder ran into an error. The decoder either used
|
Partial (Maybe ByteString -> Decoder a) | The decoder has consumed the available input and needs
more to continue. Provide |
Done !ByteString a | The decoder has successfully finished. Except for the output value you also get the unused input. |
BytesRead !Int64 (Int64 -> Decoder a) | The decoder needs to know the current position in the input. Given the number of bytes remaning in the decoder, the outer decoder runner needs to calculate the position and resume the decoding. |
runGetIncremental :: Get a -> Decoder a Source
readN :: Int -> (ByteString -> a) -> Get a Source
Return at least n
bytes, maybe more. If not enough data is available
the computation will escape with Partial
.
Parsing
get :: Get ByteString Source
Get the current chunk.
put :: ByteString -> Get () Source
Replace the current chunk.
demandInput :: Get () Source
Demand more input. If none available, fail.
ensureN :: Int -> Get () Source
Ensure that there are at least n
bytes available. If not, the
computation will escape with Partial
.
Utility
Deprecated: This will force all remaining input, don't use it.
DEPRECATED. Get the number of bytes of remaining input. Note that this is an expensive function to use as in order to calculate how much input remains, all input has to be read and kept in-memory. The decoder keeps the input as a strict bytestring, so you are likely better off by calculating the remaining input in another way.
getBytes :: Int -> Get ByteString Source
Deprecated: Use getByteString
instead of getBytes
.
DEPRECATED. Same as getByteString
.
Test whether all input has been consumed, i.e. there are no remaining undecoded bytes.
lookAhead :: Get a -> Get a Source
Run the given decoder, but without consuming its input. If the given decoder fails, then so will this function.
ByteStrings
getByteString :: Int -> Get ByteString Source
An efficient get method for strict ByteStrings. Fails if fewer than n
bytes are left in the input. If n <= 0
then the empty string is returned.