File (p.catala.0.7.0.doc.catala.utils.Utils.File)

Sourceval with_out_channel : string -> (out_channel -> 'a) -> 'a

Runs the given function with the provided file opened, ensuring it is properly closed afterwards. May raise just as open_out.

Sourceval with_in_channel : string -> (in_channel -> 'a) -> 'a

Runs the given function with the provided file opened, ensuring it is properly closed afterwards. May raise just as open_in.

Formatter wrappers

Source

val with_formatter_of_out_channel : 
  out_channel ->
  (Format.formatter -> 'a) ->
  'a

with_formatter_of_out_channel oc f creates an flushes the formatter used in f from the given out_channel oc.

Sourceval with_formatter_of_file : string -> (Format.formatter -> 'a) -> 'a

with_formatter_of_file filename f manages the formatter created from the file filename used in f -- i.e. closes the corresponding out_channel and flushes the formatter.

Source

val with_formatter_of_opt_file : 
  string option ->
  (Format.formatter -> 'a) ->
  'a

with_formatter_of_opt_file filename_opt f manages the formatter created from the file filename_opt if there is some (see with_formatter_of_file), otherwise, uses the Format.std_formatter.

Source

val get_out_channel : 
  source_file:Pos.input_file ->
  output_file:string option ->
  ?ext:string ->
  unit ->
  string option * ((out_channel -> 'a) -> 'a)

get_output ~source_file ~output_file ?ext () returns the infered filename and its corresponding with_out_channel function. If the output_file is equal to Some "-" returns a wrapper around stdout.

Source

val get_formatter_of_out_channel : 
  source_file:Pos.input_file ->
  output_file:string option ->
  ?ext:string ->
  unit ->
  string option * ((Format.formatter -> 'a) -> 'a)

get_output_format ~source_file ~output_file ?ext () returns the infered filename and its corresponding with_formatter_of_out_channel function. If the output_file is equal to Some "-" returns a wrapper around stdout.