Module Ecaml.Value

include Ecaml__.Value_intf.Value
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
include Ecaml__.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 'car)

(describe-function 'cdr)

val to_list_exn : t ‑> f:(t ‑> 'a) ‑> 'a list
val type_of : t ‑> t
val is_array : t ‑> bool

- (Info-goto-node "(elisp)Type Predicates")

(describe-function 'arrayp)

val is_buffer : t ‑> bool

(describe-function 'arrayp)

(describe-function 'bufferp)

val is_command : t ‑> bool

(describe-function 'bufferp)

(describe-function 'commandp)

val is_cons : t ‑> bool

(describe-function 'commandp)

(describe-function 'consp)

val is_event : t ‑> bool

(describe-function 'consp)

(describe-function 'eventp)

val is_float : t ‑> bool

(describe-function 'eventp)

(describe-function 'floatp)

val is_font : t ‑> bool

(describe-function 'floatp)

(describe-function 'fontp)

val is_frame : t ‑> bool

(describe-function 'fontp)

(describe-function 'framep)

val is_function : t ‑> bool

(describe-function 'framep)

(describe-function 'functionp)

val is_hash_table : t ‑> bool

(describe-function 'functionp)

(describe-function 'hash-table-p)

val is_integer : t ‑> bool

(describe-function 'hash-table-p)

(describe-function 'integerp)

val is_keymap : t ‑> bool

(describe-function 'integerp)

(describe-function 'keymapp)

val is_marker : t ‑> bool

(describe-function 'keymapp)

(describe-function 'markerp)

val is_nil : t ‑> bool

(describe-function 'markerp)

eq t nil

val is_not_nil : t ‑> bool

eq t nil

(describe-function 'is-not-nil)

val is_process : t ‑> bool

(describe-function 'is-not-nil)

(describe-function 'processp)

val is_string : t ‑> bool

(describe-function 'processp)

(describe-function 'stringp)

val is_symbol : t ‑> bool

(describe-function 'stringp)

(describe-function 'symbolp)

val is_syntax_table : t ‑> bool

(describe-function 'symbolp)

(describe-function 'syntax-table-p)

val is_timer : t ‑> bool

(describe-function 'syntax-table-p)

(describe-function 'timerp)

val is_vector : t ‑> bool

(describe-function 'timerp)

(describe-function 'vectorp)

val is_window : t ‑> bool

(describe-function 'vectorp)

(describe-function 'windowp)

val is_window_configuration : t ‑> bool

(describe-function 'windowp)

(describe-function 'window-configuration-p)

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 of_int_exn : int ‑> t
val to_int_exn : t ‑> int
val of_float : float ‑> t
val to_float_exn : t ‑> float
val of_utf8_bytes : string ‑> t
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
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_intf.Funcall with type value := t
module type Subtype : Ecaml__.Value_intf.Subtype with type value := t with type a type_ := a Type.t
module Expert : sig ... end
module Stat : sig ... end