Temp (p.dune-private-libs.2.9.3.doc.dune-private-libs.stdune.Stdune.Temp)

This module provides a high-level interface for temporary files. It ensures that all temporary files created by the application are systematically cleaned up on exit.

Sourcetype what =

| Dir
| File

Source

val temp_in_dir : 
  ?perms:int ->
  what ->
  dir:Path.t ->
  prefix:string ->
  suffix:string ->
  Path.t

Create a temporary file or directory inside an existing directory

Sourceval create : ?perms:int -> what -> prefix:string -> suffix:string -> Path.t

Sourceval destroy : what -> Path.t -> unit

Sourceval clear_dir : Path.t -> unit

Delete the contents of a temporary directory without deleting the directory itself.

Sourceval temp_path : dir:Path.t -> prefix:string -> suffix:string -> Path.t

temp_path ~dir ~prefix ~suffix generate a temporary path in dir. The base name of the temporary file is formed by concatenating prefix, then a suitably chosen integer number, then suffix.

Source

val with_temp_path : 
  dir:Path.t ->
  prefix:string ->
  suffix:string ->
  f:((Path.t, exn) result -> 'a) ->
  'a

Like temp_path, but passes the temporary file to the callback f, and makes sure the temporary file is deleted when f completes. If f raises an exception, the exception is reraised (and the file is still deleted).