package core_kernel

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

The immediate value carried by the immediate option.

Given the presence of unchecked_value, the value type should not have operations that depend on the value's validity for memory safety. In particular, unchecked_value is not called unsafe_value as it would be if it could return a value that later resulted in a segmentation fault. For pointer-like values, use Zero.Ext.Nullable, for example.

type t = private Base.Int.t

Represents value option using immediate in order to avoid allocating a Some tag. Exports the representation so the compiler can optimize t as an immediate type, assuming immediate is known to be immediate. The interface does not enforce that immediate is immediate because some types, like Int63.t, are only immediate on 64-bit platforms.

include sig ... end
val compare : t -> t -> Base.Int.t
val sexp_of_t : t -> Sexplib.Sexp.t
val typerep_of_t : t Typerep_lib.Std.Typerep.t
val typename_of_t : t Typerep_lib.Std.Typename.t
val none : t

Constructors analogous to None and Some.

val some : value -> t
val is_none : t -> Base.Bool.t
val is_some : t -> Base.Bool.t
val value : t -> default:value -> value

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

val value_exn : t -> value

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.

val unchecked_value : t -> value

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.

val to_option : t -> value Base.Option.t
val of_option : value Base.Option.t -> t
module Optional_syntax : sig ... end

Provides bindings used by the match%optional ppx transformer. Example:

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct