package links

  1. Overview
  2. Docs
type 'a setting
type privilege = [
  1. | `System
  2. | `User
]
exception Unknown_setting of string
val get : 'a setting -> 'a
val set : ?privilege:privilege -> 'a setting -> 'a -> unit
val flag : ?default:bool -> string -> bool setting
val option : ?default:'a option -> ?readonly:bool -> string -> 'a option setting
val multi_option : ?default:'a list -> string -> 'a list setting
val synopsis : string -> 'a setting -> 'a setting
val action : ('a -> unit) -> 'a setting -> 'a setting
val convert : (string -> 'a) -> 'a setting -> 'a setting
val to_string : ('a -> string) -> 'a setting -> 'a setting
val privilege : privilege -> 'a setting -> 'a setting
val depends : bool setting -> bool setting -> bool setting
val hint : string -> 'a setting -> 'a setting
val hidden : 'a setting -> 'a setting
val show_default : bool -> 'a setting -> 'a setting
val keep_default : 'a list setting -> 'a list setting
module CLI : sig ... end
val sync : 'a setting -> 'a setting
val get_name : 'a setting -> string
val from_string_option : string option -> string
val string_of_paths : string list -> string
val parse_paths : string -> string list
val parse_bool : string -> bool
val parse_and_set_user : string -> string -> unit
val print_settings : out_channel -> unit
val print_cli_options : out_channel -> unit
module Reflection : sig ... end
val get_anonymous_arguments : unit -> string list
val get_rest_arguments : unit -> string list
val ensure_all_synchronised : unit -> unit
val synchronise_defined : unit -> unit