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.0.tbz

sha256=18a84ddf9d210745d8b6e9cb2cbb8ce3cb696e2898a54749027e9d85992bfe5c

sha512=d7cca5ae480fc7ee8c4db28c70d2868c2bc95075796c177df442f10883e1777ba3e51d248bd2feeffbc3b0cbe99d77bc61e62d794102c469cc646f63e4b65dcb

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