package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (7)

Authors

  1. T
    Thomas Gazagnaire
  2. A
    Anil Madhavapeddy
  3. Gabriel Radanne
  4. M
    Mindy Preston
  5. T
    Thomas Leonard
  6. N
    Nicolas Ojeda Bar
  7. D
    Dave Scott
  8. D
    David Kaloper
  9. H
    Hannes Mehnert
  10. R
    Richard Mortier

Maintainers

  1. A
    anil@recoil.org
  2. T
    thomas@gazagnaire.org

Sources

mirage-4.7.0.tbz
sha256=ade8c410b2de3997c4a513f53f6c990dac6af508161e20df01b64fa7975ca5be
sha512=42fddf09be84c4251417145b88d4f63b41db1b29c9622b2b4e4508e31146f227a16875e670da96251208745f79a42f0b7d2bd8b44b883a705381b4c97a4255b8

doc/mirage.functoria/Functoria/Action/index.html

Module Functoria.ActionSource

Wrapper around Bos which provides a "dry run" feature.

The action type

Sourcetype 'a t

An action that when executed may return a value of type 'a.

Sourceval ok : 'a -> 'a t

An action that returns a value.

Sourceval error : string -> 'a t

error e is the failed action with error message e.

Sourceval errorf : ('a, Format.formatter, unit, 'b t) format4 -> 'a

errorf fmt is the failed action with error message fmt.

Sourceval map : f:('a -> 'b) -> 'a t -> 'b t

Functor instance.

Sourceval bind : f:('a -> 'b t) -> 'a t -> 'b t

Monad instance.

Sourceval seq : unit t list -> unit t

seq t runs the elements of t in sequence.

Sourcemodule List : sig ... end
Sourcemodule Infix : sig ... end
Sourcemodule Syntax : sig ... end

Actions

Sourceval rm : Fpath.t -> unit t

Delete a file. (see Bos.OS.File.delete)

Sourceval mkdir : Fpath.t -> bool t

Create a directory. (See Bos.OS.Dir.create

Sourceval rmdir : Fpath.t -> unit t

Remove a directory. (see Bos.OS.Dir.delete)

Sourceval with_dir : Fpath.t -> (unit -> 'a t) -> 'a t

with_dir d f runs f with d as current working directory. (See Bos.OS.Dir.with_current).

Sourceval pwd : unit -> Fpath.t t

pwd () is the current working directory. (See Bos.OS.Dir.current)

Sourceval is_file : Fpath.t -> bool t

Does a file exist? (see Bos.OS.File.exists)

Sourceval is_dir : Fpath.t -> bool t

Does a directory exist? (see Bos.OS.Dir.exists)

Sourceval size_of : Fpath.t -> int option t

size_of f is Some i if f exists and is of size i, and None if f doesn't exist.

Sourceval set_var : string -> string option -> unit t

set_var v c sets env variable c to c. (see Bos.OS.Env.set_var)

Sourceval get_var : string -> string option t

get_var v gets the value of the variable c in the environment. (see Bos.OS.Env.get)

Sourcetype channel = [
  1. | `Null
  2. | `Fmt of Format.formatter
]

The type for channels.

Sourceval run_cmd : ?err:channel -> ?out:channel -> Bos.Cmd.t -> unit t

Run a command. By default, err is Fmt.stderr and out is Fmt.stdout. (see Bos.OS.Cmd.run)

Sourceval run_cmd_out : ?err:channel -> Bos.Cmd.t -> string t

Run a command and return its trimmed stdout. By default err is Fmt.stderr. (See Bos.OS.Cmd.run_out)

Sourceval run_cmd_cli : Bos.Cmd.t -> unit t

Run a command as a command line interface, meaning stdout and stderr remain untouched.

Sourceval write_file : Fpath.t -> string -> unit t

Write some data to a file. (see Bos.OS.File.write)

Sourceval read_file : Fpath.t -> string t

read_file f is f's contents. (see Bos.OS.File.read)

Sourceval tmp_file : ?mode:int -> Bos.OS.File.tmp_name_pat -> Fpath.t t

tmp_file pat is a tempory file built using the pattern pat. (See Bos.OS.File.tmp)

Sourceval ls : Fpath.t -> (Fpath.t -> bool) -> Fpath.t list t

ls dir is the list of files in dir.

Sourceval with_output : ?mode:int -> ?append:bool -> path:Fpath.t -> purpose:string -> (Format.formatter -> 'a) -> 'a t

Open a file with a given mode, and write some data to it through a function. (see Bos.OS.File.with_oc). purpose is used in error messages. If append is set (by default it is not), the data is appended to path.

Interpreters

Sourceval run : 'a t -> ('a, Rresult.R.msg) result

Run the command through Bos.

Sourcetype env

The type for virtual environments.

Sourcetype files = [
  1. | `Passtrough of Fpath.t
  2. | `Files of (Fpath.t * string) list
]
Sourceval default_exec : Bos.Cmd.t -> (string * string) option

default_exec cmd is Some ("$(<cmd>)", "").

Sourceval env : ?exec:(Bos.Cmd.t -> (string * string) option) -> ?env:(string * string) list -> ?pwd:Fpath.t -> ?files:files -> unit -> env
Sourcetype 'a domain = {
  1. result : ('a, Rresult.R.msg) result;
  2. env : env;
  3. logs : string list;
}

The type for interpreted values.

Sourceval eq_domain : ('a -> 'a -> bool) -> 'a domain -> 'a domain -> bool

eq_domain is the equality function between domains.

Sourceval pp_domain : 'a Fmt.t -> 'a domain Fmt.t

pp_domain is the pretty-printer for domains.

Sourceval dry_run : ?env:env -> 'a t -> 'a domain

Emulate the action. This will not do IO on the actual files. Some approximation is done to determine the result of actions. files is a list of paths that are supposed to exist at the beginning. Returns:

  • the result of the action (which can be an Bos error)
  • the list of files after execution
  • a trace (list of log messages)
Sourceval dry_run_trace : ?env:env -> 'a t -> unit

Only output the trace part of dry_run.

Sourceval generated_files : ?env:env -> 'a t -> Fpath.Set.t

generated_files t is the set of files created by t. Note: this might be incomplete/incorrect in case of calls to external commands.