package erm_xml

  1. Overview
  2. Docs
type input = {
  1. buf : string;
  2. i : int;
  3. len : int;
}
type data =
  1. | Chunk of input
  2. | EOF
val empty_chunk : input
val empty_stream : data
val is_empty : input -> bool
type !'a t =
  1. | Return of 'a * data
  2. | Continue of data -> 'a t
val return : 'a -> 'a t
val fail : exn -> 'a
val bind : 'a t -> ('a -> 'b t) -> 'b t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val get : char option t