Module Mac_address.OptionSource

include Core.Immediate_option.S_int63 with type value := t
include Core.Immediate_option_intf.S_int63_plain with type value := t
Sourcetype t : immediate64
include Core.Immediate_option_intf.S_without_immediate_plain with type t := t with type value := t
include Core.Immediate_option_intf.S_minimal with type t := t with type value := t

Constructors analogous to None and Some. If not (some_is_representable x) then some x may raise or return none.

Sourceval none : t
Sourceval is_none : t @ local -> Base.Bool.t
Sourceval some : t -> t
Sourceval unchecked_value : t -> t

unchecked_value (some x) = x. unchecked_value none returns an unspecified value. unchecked_value t is intended as an optimization of value_exn t when is_some t is known to be true.

Sourcemodule Optional_syntax : Core.Optional_syntax.S with type t := t with type value := t
Sourceval some_is_representable : t @ local -> Base.Bool.t

For some representations of immediate options, the encodings of none and some overlap. For these representations, some_is_representable value = false if value cannot be represented as an option. For example, Int.Option uses min_value to represent none. For other representations, some_is_representable always returns true.

Sourceval is_some : t @ local -> Base.Bool.t
Sourceval value : t -> default:t -> t

value (some x) ~default = x and value none ~default = default.

Sourceval value_exn : t -> t

value_exn (some x) = x. value_exn none raises. Unlike Option.value_exn, there is no ?message argument, so that calls to value_exn that do not raise also do not have to allocate.

Sourceval to_option : t -> t Base.Option.t
Sourceval of_option : t Base.Option.t -> t
include Core.Immediate_option_intf.S_derivers with type t := t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int
include Ppx_hash_lib.Hashable.S with type t := t
include Typerep_lib.Typerepable.S with type t := t
Sourceval typerep_of_t : t Typerep_lib.Std_internal.Typerep.t @@ portable
Sourceval typename_of_t : t Typerep_lib.Typename.t @@ portable
include Sexplib0.Sexpable.Sexp_of__stack with type t := t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
include Core.Equal.S with type t := t
val equal : t Base.Equal.equal
Sourcemodule Stable : sig ... end