Module It_type.IT.It_IO

module It_IO: sig .. end

type +'a m 

val return : 'a -> 'a m

val bind : ('a -> 'b m) ->
       'a m -> 'b m

val bind_rev : 'a m ->
       ('a -> 'b m) -> 'b m

val error : exn -> 'a m

val catch : (unit -> 'a m) ->
       (exn -> 'a m) -> 'a m

type output_channel 

val stdout : output_channel

val write : output_channel -> string -> unit m

type input_channel 

val open_in : string -> input_channel m

val close_in : input_channel -> unit m

val read_into : input_channel ->
       string -> int -> int -> int m

val runIO : 'a m -> [ `Error of exn | `Ok of 'a ]