module JavaLocale: sig .. end
Utility functions for Java locales.
Instance creation
val get_available_locales : unit -> t list
Returns the list of all available locales.
val get_default : unit -> t
Returns the default locale.
val set_default : t -> unit
set_default loc
changes the default locale to loc
.
Raises Java_exception
if loc
is null
Properties
Predefined locales
val simplified_chinese : unit -> t
val traditional_chinese : unit -> t
val canada_french : unit -> t
Null value
val null : t
The null
value.
val is_null : t -> bool
is_null obj
returns true
iff obj
is equal to null
.
val is_not_null : t -> bool
is_not_null obj
returns false
iff obj
is equal to null
.
Miscellaneous
val wrap : t -> t option
wrap obj
wraps the reference
obj
into an option type:
Some x
if obj
is not null
;
None
if obj
is null
.
val unwrap : t option -> t
unwrap obj
unwraps the option
obj
into a bare reference:
Some x
is mapped to x
;
None
is mapped to null
.