Module Ecaml_value__Value

include Ecaml_value__.Value_intf.Value
type t = Ecaml_value__.Value0.t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Ecaml_value__.Value_intf.Funcall with type t := t with type value := t
type t
type value
val funcall0 : t -> value
val funcall1 : t -> value -> value
val funcall2 : t -> value -> value -> value
val funcall3 : t -> value -> value -> value -> value
val funcall4 : t -> value -> value -> value -> value -> value
val funcall5 : t -> value -> value -> value -> value -> value -> value
val funcallN : t -> value list -> value
val funcallN_array : t -> value array -> value
val funcall0_i : t -> unit
val funcall1_i : t -> value -> unit
val funcall2_i : t -> value -> value -> unit
val funcall3_i : t -> value -> value -> value -> unit
val funcall4_i : t -> value -> value -> value -> value -> unit
val funcall5_i : t -> value -> value -> value -> value -> value -> unit
val funcallN_i : t -> value list -> unit
val funcallN_array_i : t -> value array -> unit
val funcall_int_int_value_value_unit : t -> int -> int -> value -> value -> unit
val funcall_int_int_value_unit : t -> int -> int -> value -> unit
val intern : string -> t
val nil : t
val t : t
val list : t list -> t
val cons : t -> t -> t

(describe-function 'cons)

val car_exn : t -> t

(describe-function 'car)

val cdr_exn : t -> t

(describe-function 'cdr)

val to_list_exn : t -> f:(t -> 'a) -> 'a list
val vector : t array -> t
val to_array_exn : t -> f:(t -> 'a) -> 'a array
val option : ('a -> t) -> 'a option -> t
val type_of : t -> t
val is_array : t -> bool

(describe-function 'arrayp)

val is_buffer : t -> bool

(describe-function 'bufferp)

val is_command : t -> bool

(describe-function 'commandp)

val is_event : t -> bool

(describe-function 'eventp)

val is_float : t -> bool

(describe-function 'floatp)

val is_font : t -> bool

(describe-function 'fontp)

val is_frame : t -> bool

(describe-function 'framep)

val is_function : t -> bool

(describe-function 'functionp)

val is_hash_table : t -> bool

(describe-function 'hash-table-p)

val is_integer : t -> bool

(describe-function 'integerp)

val is_keymap : t -> bool

(describe-function 'keymapp)

val is_marker : t -> bool

(describe-function 'markerp)

val is_nil : t -> bool

eq t nil

val is_not_nil : t -> bool

(describe-function 'is-not-nil)

val is_process : t -> bool

(describe-function 'processp)

val is_string : t -> bool

(describe-function 'stringp)

val is_symbol : t -> bool

(describe-function 'symbolp)

val is_syntax_table : t -> bool

(describe-function 'syntax-table-p)

val is_timer : t -> bool

(describe-function 'timerp)

val is_vector : t -> bool

(describe-function 'vectorp)

val is_window : t -> bool

(describe-function 'windowp)

val is_window_configuration : t -> bool

(describe-function 'window-configuration-p)

val is_cons : ?⁠car:(t -> bool) -> ?⁠cdr:(t -> bool) -> t -> bool

(describe-function 'consp)

If supplied, ?car and ?cdr are additionally required to return true for the car and cdr, respectively.

val eq : t -> t -> bool
val equal : t -> t -> bool

(describe-function 'equal)

val of_bool : bool -> t
val to_bool : t -> bool

is_not_nil

val emacs_min_int : int

(describe-variable 'most-negative-fixnum)

val emacs_max_int : int

(describe-variable 'most-positive-fixnum)

val of_int_exn : int -> t

of_int_exn n raises if n is not in the range emacs_min_int, emacs_max_int

val to_int_exn : t -> int
val of_float : float -> t
val to_float_exn : t -> float
val of_utf8_bytes : string -> t
val of_utf8_bytes_cached : string -> t

of_utf8_bytes_cached is like of_utf8_bytes, except it keeps a hash table mapping each OCaml string to the corresponding Elisp string. This can be used to optimize the conversion of OCaml values to Elisp values.

val to_utf8_bytes_exn : t -> string
val vec_get : t -> int -> t
val vec_set : t -> int -> t -> unit
val vec_size : t -> int
val initialize_module : unit
val message : string -> unit
val messagef : ('a, unit, string, unit) Core_kernel.format4 -> 'a
val message_s : Core_kernel.Sexp.t -> unit
val prin1_to_string : t -> string
module Type : sig ... end with type value := t

An 'a Type.t is an isomorphism between 'a and a subset of Value.t.

module type Funcall : Ecaml_value__.Value_intf.Funcall with type value := t
module type Subtype : Ecaml_value__.Value_intf.Subtype with type value := t with type 'a type_ := 'a Type.t
module Expert : sig ... end
module Stat : sig ... end
module For_testing : sig ... end