Runtime (p.yocaml.2.6.0.doc.yocaml.Yocaml.Make.Runtime.Runtime)

type runtime_error

Runtime errors can be defined by the runtime creator.

type 'a t

Each command is wrapped in a value of type 'a t, making it possible to build runtimes wrapped in monads (for example, Git/Irmin, which are currently based on Lwt).

val runtime_error_to_string : runtime_error -> string

Converts a runtime error into a character string for diagnosis.

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

the bind primitive for t.

val return : 'a -> 'a t

the return primitive for t.

val log : 
  ?src:Logs.src ->
  [ `App | `Error | `Warning | `Info | `Debug ] ->
  string ->
  unit t

log level message log a message with a given message.

val get_time : unit -> int t

get_time () returns the current timestamp.

val file_exists : on:[ `Source | `Target ] -> Path.t -> bool t

file_exists ~on:source -> path returns true if the file exists, false otherwise.

val read_file : 
  on:[ `Source | `Target ] ->
  Path.t ->
  (string, runtime_error) result t

read_file ~on:source -> path returns the content of a file.

val get_mtime : 
  on:[ `Source | `Target ] ->
  Path.t ->
  (int, runtime_error) result t

get_mtime ~on:source path returns the modification time of a file.

val hash_content : string -> string t

hash_content str hash a content.

val create_directory : 
  on:[ `Source | `Target ] ->
  Path.t ->
  (unit, runtime_error) result t

create_directory ~on path create a directory.

val write_file : 
  on:[ `Source | `Target ] ->
  Path.t ->
  string ->
  (unit, runtime_error) result t

write_file ~on:source path content write a file.

val is_directory : on:[ `Source | `Target ] -> Path.t -> bool t

is_directory ~on:source path returns true if the given path is a directory, false otherwise.

val is_file : on:[ `Source | `Target ] -> Path.t -> bool t

is_file ~on:source path returns true if the given path is a file, false otherwise.

val read_dir : 
  on:[ `Source | `Target ] ->
  Path.t ->
  (Path.fragment list, runtime_error) result t

read_dir ~on:source path returns a list of filename (fragment) of a given directory.

val exec : 
  ?is_success:(int -> bool) ->
  string ->
  string list ->
  (string, runtime_error) result t

exec ?is_success prog ?args will executes prog ...args. When is_success is provided, it is called with the exit code to determine whether it indicates success or failure. Without is_success, success requires the process to return an exit code of 0.

printing on standard output is returned.