Module Colombe.DecoderSource

Sourcetype decoder = {
  1. buffer : bytes;
  2. mutable pos : int;
  3. mutable max : int;
}
Sourceval io_buffer_size : int
Sourceval decoder : unit -> decoder
Sourceval decoder_from_string : string -> decoder
Sourceval decoder_from_preallocated_bytes : bytes -> decoder
Sourceval end_of_input : decoder -> int
Sourcetype error = [
  1. | `End_of_input
  2. | `Expected_char of char
  3. | `Unexpected_char of char
  4. | `Expected_string of string
  5. | `Expected_eol
  6. | `Expected_eol_or_space
  7. | `Not_enough_space
  8. | `Assert_predicate of char -> bool
]
Sourceval pp_error : error Fmt.t
Sourcetype 'err info = {
  1. error : 'err;
  2. buffer : bytes;
  3. committed : int;
}
Sourcetype ('v, 'err) state =
  1. | Done of 'v
  2. | Read of {
    1. buffer : bytes;
    2. off : int;
    3. len : int;
    4. continue : [ `Len of int | `End ] -> ('v, 'err) state;
    }
  3. | Error of 'err info
Sourceval safe : (decoder -> ('v, [> error ] as 'err) state) -> decoder -> ('v, 'err) state
Sourceval leave_with : decoder -> error -> 'a
Sourceval fail : decoder -> ([> error ] as 'err) -> ('v, 'err) state
Sourceval return : 'v -> decoder -> ('v, 'err) state
Sourceval peek_char : decoder -> char option
Sourceval string : string -> decoder -> unit
Sourceval junk_char : decoder -> unit
Sourceval while1 : (char -> bool) -> decoder -> bytes * int * int
Sourceval at_least_one_line : ?relax:bool -> decoder -> bool
Sourceval prompt : ?relax:bool -> (decoder -> ('v, [> error ] as 'err) state) -> decoder -> ('v, 'err) state
Sourceval peek_while_eol : ?relax:bool -> decoder -> bytes * int * int
Sourceval peek_while_eol_or_space : ?relax:bool -> decoder -> bytes * int * int