Module Uopt_core

type 'a t = 'a Uopt.t
include Sexplib0.Sexpable.S1 with type +'a t := 'a t
val t_of_sexp : 'a. (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t
val sexp_of_t : 'a. ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
val globalize : 'a. ('a @ local -> 'a) -> 'a t @ local -> 'a t
include Base.Invariant.S1 with type 'a t := 'a t
val invariant : ('a -> unit) -> 'a t -> unit
val get_none : Base.unit -> _ t @@ portable
val none : _ t @@ portable
val some : 'a -> 'a t @@ portable
val is_none : _ t @ local -> Base.bool @@ portable
val is_some : _ t @ local -> Base.bool @@ portable
val value_exn : 'a t -> 'a @@ portable
val value : 'a t -> default:'a -> 'a @@ portable
val some_if : Base.bool -> 'a -> 'a t @@ portable
val unsafe_value : 'a t -> 'a @@ portable

It is safe to call unsafe_value t iff is_some t.

val to_option : 'a t -> 'a Base.option @@ portable
val of_option : 'a Base.option -> 'a t @@ portable
module Optional_syntax : sig ... end
module Local : sig ... end

Same as their global equivalents.

include Core.Binable.S1 with type 'a t := 'a t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t
include sig ... end
val bin_size_t : 'a. ('a, 'a t) Bin_prot.Size.sizer1
val bin_write_t : 'a. ('a, 'a t) Bin_prot.Write.writer1
val bin_read_t : 'a. ('a, 'a t) Bin_prot.Read.reader1
val __bin_read_t__ : 'a. ('a, 'a t) Bin_prot.Read.vtag_reader1
val bin_writer_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.writer
val bin_reader_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.reader
val bin_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.t
module Stable : sig ... end