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
val funcall0 : (t -> value) Ecaml_value__.Value_intf.funcall
val funcall1 : (t -> value -> value) Ecaml_value__.Value_intf.funcall
val funcall2 : (t -> value -> value -> value) Ecaml_value__.Value_intf.funcall
val funcall3 : (t -> value -> value -> value -> value) Ecaml_value__.Value_intf.funcall
val funcall4 : (t -> value -> value -> value -> value -> value) Ecaml_value__.Value_intf.funcall
val funcall5 : (t -> value -> value -> value -> value -> value -> value) Ecaml_value__.Value_intf.funcall
val funcallN : (t -> value list -> value) Ecaml_value__.Value_intf.funcall
val funcallN_array : (t -> value array -> value) Ecaml_value__.Value_intf.funcall
val funcall0_i : (t -> unit) Ecaml_value__.Value_intf.funcall
val funcall1_i : (t -> value -> unit) Ecaml_value__.Value_intf.funcall
val funcall2_i : (t -> value -> value -> unit) Ecaml_value__.Value_intf.funcall
val funcall3_i : (t -> value -> value -> value -> unit) Ecaml_value__.Value_intf.funcall
val funcall4_i : (t -> value -> value -> value -> value -> unit) Ecaml_value__.Value_intf.funcall
val funcall5_i : (t -> value -> value -> value -> value -> value -> unit) Ecaml_value__.Value_intf.funcall
val funcallN_i : (t -> value list -> unit) Ecaml_value__.Value_intf.funcall
val funcallN_array_i : (t -> value array -> unit) Ecaml_value__.Value_intf.funcall
val funcall_int_int_value_value_unit : (t -> int -> int -> value -> value -> unit) Ecaml_value__.Value_intf.funcall
val funcall_int_int_value_unit : (t -> int -> int -> value -> unit) Ecaml_value__.Value_intf.funcall
val intern : string -> t
val nil : t
val t : t
val list : t list -> t
val cons : t -> t -> t
(describe-function 'cons)
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 type_of : t -> t
val list_to_array_exn : t -> f:(t -> 'a) -> 'a array
Convert an elisp list to an ocaml array
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 of_int_exn : int -> t
of_int_exn n
raises ifn
is not in the rangeemacs_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 likeof_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 ofValue.t
.
module type Funcall = Ecaml_value__.Value_intf.Funcall with type value := t
module type Make_subtype_arg = Ecaml_value__.Value_intf.Make_subtype_arg with type value := t
module type Subtype = Ecaml_value__.Value_intf.Subtype with type value := t with type 'a type_ := 'a Type.t
module Make_subtype : functor (Subtype : Make_subtype_arg) -> Subtype
module Expert : sig ... end
module Stat : sig ... end
module For_testing : sig ... end
module Private : sig ... end