Library
Module
Module type
Parameter
Class
Class type
Decode
The type for input sources. With a `Manual
source the client must provide input with src
.
src d s j l
provides d
with l
bytes to read, starting at j
in s
. This byte range is read by calls to decode
with d
until `Await
is returned. To signal the end of input, call the function with l = 0
.
decode d
is:
`Await
if d
has a `Manual
input source and awaits for more input. The client must use src
to provide it.`End
if the end of input was reached`Malformed bytes
if the bytes
sequence is malformed according to the decoded base64 encoding scheme. If you are interested in a best-effort decoding, you can still continue to decode after an error until the decode synchronizes again on valid bytes.`Flush data
if a data
sequence value was decoded.`Wrong_padding
if decoder retrieve a wrong padding at the end of the input.Note. Repeated invocation always eventually returns `End
, even in case of errors.
val decoder_byte_count : decoder -> int
decoder_byte_count d
is the number of characters already decoded on d
(included malformed ones). This is the last decode
's end output offset counting from beginning of the stream.
val decoder_dangerous : decoder -> bool
decoder_dangerous d
returns true
if encoded input does not respect the 80-columns rule. If your are interested in a best-effort decoding you can still continue to decode even if decoder_dangerous d
returns true
. Nothing grow automatically internally in this state.
The type for output destinations. With a `Manual
destination the client must provide output storage with dst
.
encode e v
: is
`Partial
iff e
has a `Manual
destination and needs more output storage. The client must use dst
to provide a new buffer and then call encode
with `Await
until `Ok
is returned.`Ok
when the encoder is ready to encode a new `Char
or `End
For `Manual
destination, encoding `End
always return `Partial
, the client should continue as usual with `Await
until `Ok
is returned at which point dst_rem
encoder
is guaranteed to be the size of the last provided buffer (i.e. nothing was written).
Raises. Invalid_argument
if a `Char
or `End
is encoded after a `Partial
encode.