package ecaml
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=87e76473915e12d718096100a5c4d15d98aba6f99ecbf21814b7389e8c28bb25
doc/ecaml/Ecaml/Command/index.html
Module Ecaml.Command
Source
(Info-goto-node "(elisp)Command Loop")
A Command.t
is an Elisp value satsifying commandp
. (describe-function 'commandp)
include Ecaml_value.Value.Subtype
We expose private value
for free identity conversions when the value is nested in some covariant type, e.g. (symbols : Symbol.t list :> Value.t list)
rather than List.map symbols ~f:Symbol.to_value
.
eq t1 t2 = Value.eq (to_value t1) (to_value t2)
, i.e. eq
checks whether the Emacs values underlying t1
and t2
are physically equal. This is different than phys_equal t1 t2
, because we don't always wrap eq
Emacs values in phys_equal
OCaml values. I.e. phys_equal t1 t2
implies eq t1 t2
, but not the converse.
(Info-goto-node "(elisp)Prefix Command Arguments")
(describe-variable 'command-history)
(Info-goto-node "(elisp)Command History")
val call_interactively :
?raw_prefix_argument:Raw_prefix_argument.t ->
?record:bool ->
Ecaml_value.Value.t ->
unit Async_kernel.Deferred.t
(describe-function 'call-interactively)
(Info-goto-node "(elisp)Interactive Call")
(describe-variable 'inhibit-quit)
(Info-goto-node "(elisp)Quitting")
(describe-function 'abort-recursive-edit)