package cmdlang

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Basic types
Helpers

package cmdlang

cmdlang
- CHANGES
- README
- Library cmdlang
  - Cmdlang
    
    Command
    
    Nonempty_list
    
    Enumerated_stringable
    
    Stringable
    
    Validated_string
    
    Param
    
    Arg
    
    Utils
    
    Applicative_infix
    
    Applicative_syntax
    
    Std
    
    Arg
    
    Param
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Arg
    
    Param
    
    Private
    
    To_ast
- Library cmdlang.ast
  - Cmdlang_ast
    
    Ast
    
    Nonempty_list
    
    Param
    
    Arg
    
    Command
- Sources
  - cmdlang
    
    cmdlang.ml
    
    command.ml
  - cmdlang.ast
    
    ast.ml
    
    cmdlang_ast.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Command.Param`Source

Refer to the Parameters terminology.

type 'a parse := string -> ('a, [ `Msg of string ]) result

Parsing parameters of type 'a from the command line.

type 'a print := Format.formatter -> 'a -> unit

Printing parameters of type 'a back to their expected command line syntax. Printing parameter is used for example when documenting default values in the help messages.

Sourcetype 'a t

A type to hold the capability of parsing and printing a parameter of type 'a.

Sourceval create : docv:string -> parse:'a parse -> print:'a print -> 'a t

Basic types

The API supports basic types with default docv values. These defaults can be overridden for each argument. The default docv is used only if none is specified at the argument level. The actual syntax used by default depend on the targeted backend.

Sourceval string : string t

Sourceval int : int t

Sourceval float : float t

Sourceval bool : bool t

Sourceval file : string t

Helpers

Helpers for creating parameters for custom types. These helpers also come with default docv values, which can be overridden as needed.

Source

val enumerated : 
  ?docv:string ->
  (module Enumerated_stringable with type t = 'a) ->
  'a t

Create a parameter for an enumerated type. The module must implement the Enumerated_stringable interface.

Example:

  module Color = struct
    type t =
      | Red
      | Green
      | Blue

    let all = [ Red; Green; Blue ]

    let to_string = function
      | Red -> "red"
      | Green -> "green"
      | Blue -> "blue"
    ;;
  end

  let color_param = Param.enumerated ~docv:"COLOR" (module Color)

The usage message will show the supported values for COLOR.

Sourceval stringable : ?docv:string -> (module Stringable with type t = 'a) -> 'a t

Source

val validated_string : 
  ?docv:string ->
  (module Validated_string with type t = 'a) ->
  'a t

To be used with custom types when the parsing may fail.

Sourceval comma_separated : 'a t -> 'a list t

Parser for a list of values separated by commas.

package cmdlang

Module Command.ParamSource

Basic types

Helpers

Module `Command.Param`Source