package containers

  1. Overview
  2. Docs

A manual source of individual characters. When it has exhausted its own input, it asks its caller to provide more or signal that none remains This is especially useful when the source of data is monadic IO

type t
val make : unit -> t

Make a new manual source. It needs to be fed input manually, using feed

val to_src : t -> source

The manual source contains a source!

val feed : t -> string -> int -> int -> unit

Feed a chunk of input to the manual source

val reached_end : t -> unit

Tell the decoder that end of input has been reached. From now the source will only yield NC_end