package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install

dune-project
 Dependency

Authors

Maintainers

Sources

mirage-4.10.5.tbz
sha256=c0b2deb8f9cfec44f9dbc256a18b50944f2aa8fcba84aef3165abebd23476e0c
sha512=e354f1cb4d12b424c22b9add0851a8750fe09f095ca97f0ec0360b18f7c69db60b155fdd18b0d7a6cea3432e63f20e4695a5bccaac3fc34588348e4311baa1c5

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

Module Functoria.Runtime_argSource

Define runtime command-line arguments.

Sourcetype 'a arg

The type for command-line arguments that reads a value of type 'a.

Sourceval create : pos:(string * int * int * int) -> ?packages:Package.t list -> string -> 'a arg

create ~pos ?packages v is the runtime argument pointing to the value v. pos is expected to be __POS__. packages specifies in which opam package the value v is defined. This should be constrained to the correct type of the variable it is pointing to.

Sourcetype t

The type command-line arguments where the type of the value is abstract.

Sourceval packages : t -> Package.t list
Sourceval v : 'a arg -> t

v k is the k with its type hidden.

Sourcemodule Set : sig ... end

Set implements sets over t elements.

Code Serialization

Sourceval call : t Fmt.t

call fmt k outputs name () to fmt, where n is k's OCaml name.

Sourceval serialize : runtime_modname:string -> t Fmt.t

serialize ctx ppf k outputs the Cmdliner runes to parse command-line arguments represented by k at runtime.

Sourceval var_name : t -> string