Control flow
bracket resource destroy k
k resource and guarantee that resource is destroy'ed at the end.
wrapped acc result k
Computation k accumulates result into resource acc which is guaranteed to be released at the end. Rarely useful (e.g. IO.output_string)
result acc
File IO
Protected file IO, stdlib interface
val with_open_in_bin : string -> (in_channel -> 'a) -> 'aval with_open_in_txt : string -> (in_channel -> 'a) -> 'aval with_open_out_bin : string -> (out_channel -> 'a) -> 'aval with_open_out_txt : string -> (out_channel -> 'a) -> 'aval with_open_out_temp_file :
?temp_dir:string ->
mode:open_flag list ->
((string * out_channel) -> 'a) ->
'aval with_open_out_temp_bin : ((string * out_channel) -> 'a) -> 'aval with_open_out_temp_txt : ((string * out_channel) -> 'a) -> 'aProtected file IO, extlib interface
val wrapped_outs : (string IO.output -> unit) -> stringval with_input_bin : string -> (IO.input -> 'a) -> 'aval with_input_txt : string -> (IO.input -> 'a) -> 'aval with_output_bin : string -> (unit IO.output -> 'a) -> 'aval with_output_txt : string -> (unit IO.output -> 'a) -> 'aMisc.
val with_opendir : string -> (Unix.dir_handle -> 'b) -> 'b