package cmdlang

You can search for identifiers within the package.

in-package search v0.2.0

cmdlang
- Cmdlang
  - Command
    
    Applicative_infix
    
    Applicative_syntax
    
    Arg
    
    Enumerated_stringable
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Nonempty_list
    
    Param
    
    Private
    
    To_ast
    
    Std
    
    Stringable
    
    Validated_string
cmdlang.ast
- Cmdlang_ast
  - Ast
    
    Arg
    
    Command
    
    Nonempty_list
    
    Param

Legend:
Library
Module
Module type
Parameter
Class
Class type

A type to represent lists that are statically known to be non-empty.

type 'a t = 'a Cmdlang_ast.Ast.Nonempty_list.t =

| :: : 'a * 'a list -> 'a t

The way this constructor is defined allows one to use the regular list literal syntax in a context where a non-empty list is expected. For example, the function Arg.flag expects a first argument of type string Nonempty_list.t and may be used that way:

Arg.flag [ "verbose" ] ~doc:"enable more output"

The point being that the following would be a type error:

Arg.flag [] ~doc:"enable more output"