A typeful interface for calling Elisp, as external does for C. E.g.,
module F = struct
let not : bool -> bool = Q.not <: bool @-> return bool
let about_emacs : unit -> unit = Q.about_emacs <: nullary @-> return nil
end
let non f = Fn.compose F.not f
let about_emacs = F.about_emacsThe F convention is borrowed from the Emacs C source.
val return : 'a Ecaml_value.Value.Type.t -> 'a tval nil : unit Ecaml_value.Value.Type.tval nullary : unit Ecaml_value.Value.Type.tQ.foo <: ... types an Elisp function, like how foo :> t types an OCaml value.
val (@->) : 'a Ecaml_value.Value.Type.t -> 'b t -> ('a -> 'b) tinclude Ecaml_value.Value.Type.Sval create :
Core_kernel.Sexp.t ->
('a -> Core_kernel.Sexp.t) ->
(Ecaml_value.Value.t -> 'a) ->
('a -> Ecaml_value.Value.t) ->
'a Ecaml_value.Value.Type.tval with_of_value_exn :
'a Ecaml_value.Value.Type.t ->
(Ecaml_value.Value.t -> 'a) ->
'a Ecaml_value.Value.Type.tval to_sexp : 'a Ecaml_value.Value.Type.t -> 'a -> Core_kernel.Sexp.tval bool : bool Ecaml_value.Value.Type.tval float : float Ecaml_value.Value.Type.tval ignored : unit Ecaml_value.Value.Type.tval int : int Ecaml_value.Value.Type.tval string : string Ecaml_value.Value.Type.tval string_cached : string Ecaml_value.Value.Type.tstring_cached is like string, except it uses of_utf8_bytes_cached.
val unit : unit Ecaml_value.Value.Type.tval value : Ecaml_value.Value.t Ecaml_value.Value.Type.tval list : 'a Ecaml_value.Value.Type.t -> 'a list Ecaml_value.Value.Type.tval vector : 'a Ecaml_value.Value.Type.t -> 'a array Ecaml_value.Value.Type.tval option :
?wrapped:bool ->
'a Ecaml_value.Value.Type.t ->
'a option Ecaml_value.Value.Type.tThe representation of an option type's values in Elisp can be "wrapped" or "unwrapped". In either case, None is represented as nil. The unrwapped representation of Some v is the representation of v, whereas the wrapped representation is cons v nil. Wrapping is necessary if nil is a representation of some value v_nil, in order to distinguish between the representation of None and Some v_nil.
val alist :
'a Ecaml_value.Value.Type.t ->
'b Ecaml_value.Value.Type.t ->
('a * 'b) list Ecaml_value.Value.Type.tval tuple :
'a Ecaml_value.Value.Type.t ->
'b Ecaml_value.Value.Type.t ->
('a * 'b) Ecaml_value.Value.Type.tRepresent a tuple (a,b) as the elisp cons cell (a . b)
val tuple2_as_list :
'a Ecaml_value.Value.Type.t ->
'b Ecaml_value.Value.Type.t ->
('a * 'b) Ecaml_value.Value.Type.tRepresent a tuple (a,b) as the elisp list '(a b)
val sexpable :
(module Core_kernel.Sexpable with type t = 'a) ->
name:Core_kernel.Sexp.t ->
'a Ecaml_value.Value.Type.tEmbed a sexpable ocaml type, so we can save values of the type in emacs, e.g. as buffer local variables
val caml_embed : 'a Core_kernel.Type_equal.Id.t -> 'a Ecaml_value.Value.Type.tEmbed values of type 'a. Note that unlike other functions above, the values are not transformed, so this can be used to preserve state in emacs. More precisely, this following returns true:
let var = Var.create (Value.Type.caml_embed type_id) in
Current_buffer.set_value var v;
phys_equal v (Current_buffer.value_exn var)val path_list : string list Ecaml_value.Value.Type.tA list of directories. Each element is a string (directory name) or nil (try default directory). nil values are converted to ".", which has the same meaning.
module Private : sig ... end