links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Settings
type 'a setting
type privilege = [
| `System
| `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