package mirage

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Optional Arguments

package mirage

mirage
- Mirage
  - Key
  - Project
  - Runtime_arg
  - Tool
mirage.devices
- Devices
  - Argv
  - Arp
  - Block
  - Conduit
  - Dns
  - Ethernet
  - Git
  - Happy_eyeballs
  - Http
  - Icmp
  - Ip
  - Key
  - Kv
  - Libvirt
  - Mclock
  - Mimic
  - Misc
  - Network
  - Pclock
  - Qubesdb
  - Random
  - Reporter
  - Resolver
  - Runtime_arg
    
    V4
    
    V6
  - Stack
  - Syslog
  - Target
    
    Solo5
    
    TARGET
    
    Unix
    
    Xen
    
    Substitutions
  - Tcp
  - Time
  - Udp
mirage.functoria
- Functoria
  - Action
    
    Infix
    
    List
    
    Syntax
  - Cli
  - Context
  - DSL
  - Device
    
    Graph
  - Dune
  - Engine
  - Impl
  - Info
  - Install
  - Key
    
    Arg
    
    Set
  - Lib
    
    Make
    
    _
    
    S
  - Opam
  - Package
    
    Set
  - Runtime_arg
    
    Set
  - Tool
    
    Make
    
    _
    
    S
  - Type

Legend:
Library
Module
Module type
Parameter
Class
Class type

Terms for cross-stage arguments.

This module extends Cmdliner.Arg to allow MetaOCaml-style typed cross-stage persistency of command-line arguments.

type 'a t

The type for arguments holding data of type 'a.

Optional Arguments

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

opt conv v i is similar to Cmdliner.Arg.opt but for cross-stage optional command-line arguments.

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

required conv i is similar to Cmdliner.Arg.required but for cross-stage required command-line arguments.

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

flag i is similar to Cmdliner.Arg.flag but for cross-stage command-line flags.

val opt_all : 'a Cmdliner.Arg.conv -> Cmdliner.Arg.info -> 'a list t

val info : 
  ?deprecated:string ->
  ?absent:string ->
  ?docs:string ->
  ?docv:string ->
  ?doc:string ->
  ?env:Cmdliner.Cmd.Env.info ->
  string list ->
  Cmdliner.Arg.info

Same as Cmdliner.Arg.info.