package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

@

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

It is safe to call unsafe_value t iff is_some t.

val to_option : 'a t -> 'a Base.option
val of_option : 'a Base.option -> 'a t
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
val bin_size_t : ('a, 'a t) Bin_prot.Size.sizer1
val bin_write_t : ('a, 'a t) Bin_prot.Write.writer1
val bin_read_t : ('a, 'a t) Bin_prot.Read.reader1
val __bin_read_t__ : ('a, int -> 'a t) Bin_prot.Read.reader1
val bin_writer_t : ('a, 'a t) Bin_prot.Type_class.S1.writer
val bin_reader_t : ('a, 'a t) Bin_prot.Type_class.S1.reader
val bin_t : ('a, 'a t) Bin_prot.Type_class.S1.t
module Stable : sig ... end
OCaml

Innovation. Community. Security.