package mirage

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Code Serialization

The MirageOS library operating system

Install

dune-project

Dependency

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

Authors

Maintainers

Sources

mirage-4.11.1.tbz

sha256=58488022e67513a370f1de91297b6c0de15dd15584381276028c08d4ab4ae158

sha512=0ddc27adfdaa88a5ff492261de57d40df89a968db18501b16ac83393446f994f50674b40345625382728a731c22aa82e70675c400310d015829bf0ec1980ecb2

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

Module `Functoria.Runtime_arg`Source

Define runtime command-line arguments.

Sourcetype 'a arg

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

Source

val 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