Module Monad.IO


module IO: sig .. end
io-monad

include Monad.MONAD
val write : string -> unit t
val write_line : string -> unit t
val read_line : string t
val file_exists : string -> bool t
val read_file : string -> string Lst.t t
val write_file : string -> char Lst.t -> bool t