package mirage-runtime

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Mirage command-line arguments
Mirage command-line argument converters

mirage-runtime
- Mirage_info
- Mirage_runtime
  - Arg
    
    S
  - Key

Legend:
Library
Module
Module type
Parameter
Class
Class type

Mirage command-line arguments

include module type of Functoria_runtime.Arg

Arg defines command-line arguments which can be set at runtime. This module is the runtime companion of Functoria_key. It exposes a subset of Cmdliner.Arg.

Runtime command-line arguments

type 'a t

The type for runtime command-line arguments. Similar to Functoria_key.Arg.t but only available at runtime.

val opt : 'a Cmdliner.Arg.converter -> 'a -> Cmdliner.Arg.info -> 'a t

opt is the runtime companion of Functoria_key.Arg.opt.

val required : 'a Cmdliner.Arg.converter -> Cmdliner.Arg.info -> 'a t

required is the runtime companion of Functoria_key.Arg.required.

val key : ?default:'a -> 'a Cmdliner.Arg.converter -> Cmdliner.Arg.info -> 'a t

key is either opt or runtime, depending if ~default is provided.

val flag : Cmdliner.Arg.info -> bool t

flag is the runtime companion of Functoria_key.Arg.flag.

val make : 
  (string -> ('a, [ `Msg of string ]) result) ->
  ('a -> string) ->
  'a Cmdliner.Arg.converter

make of_string pp is the command-line argument converter using on of_string and pp.

module type S = sig ... end

S is the signature used by of_module to create a command-line argument converter.

val of_module : (module S with type t = 'a) -> 'a Cmdliner.Arg.converter

of module (module M) creates a command-line argyument converter from a module satisfying the signature S.

Mirage command-line argument converters

val ip : Ipaddr.t Cmdliner.Arg.converter

ip converts IP address.

val ipv4_address : Ipaddr.V4.t Cmdliner.Arg.converter

ipv4 converts an IPv4 address.

val ipv4 : Ipaddr.V4.Prefix.t Cmdliner.Arg.converter

ipv4 converts ipv4/netmask to Ipaddr.V4.t * Ipaddr.V4.Prefix.t .

val ipv6 : Ipaddr.V6.t Cmdliner.Arg.converter

ipv6converts IPv6 address.

val ipv6_prefix : Ipaddr.V6.Prefix.t Cmdliner.Arg.converter

ipv6_prefix converts IPv6 prefixes.

val log_threshold : log_threshold Cmdliner.Arg.converter

log_threshold converts log reporter threshold.

val allocation_policy : 
  [ `Next_fit | `First_fit | `Best_fit ] Cmdliner.Arg.converter

allocation_policy converts allocation policy.