package mirage

  1. Overview
  2. Docs

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
OCaml

Innovation. Community. Security.