Module type Amall_types.IO_Type

module type IO_Type = 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

val write_from : output_channel ->
       string -> int -> int -> int 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 -> 'a Amall_types.res

val flush : output_channel -> unit m

val printf : ('a, unit, string, unit m) Pervasives.format4 -> 'a

val close_out : output_channel -> unit m

val run_and_ignore_result : unit m -> unit

type server 

val establish_server : ?buffer_size:int ->
       ?backlog:int ->
       Unix.sockaddr ->
       (input_channel * output_channel ->
        unit) ->
       server

val shutdown_server : server -> unit

val wait_server : server -> unit m