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

sha256=ade8c410b2de3997c4a513f53f6c990dac6af508161e20df01b64fa7975ca5be

sha512=42fddf09be84c4251417145b88d4f63b41db1b29c9622b2b4e4508e31146f227a16875e670da96251208745f79a42f0b7d2bd8b44b883a705381b4c97a4255b8

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

Module `Functoria.Runtime_arg`

Define runtime command-line arguments.

type 'a arg

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

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.

type t

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

val packages : t -> Package.t list

val v : 'a arg -> t

v k is the k with its type hidden.

module Set : sig ... end

Set implements sets over t elements.

Code Serialization

val call : t Fmt.t

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

val 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.

val var_name : t -> string