To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
cmdtui — interactive command completion and execution for building REPLs
cmdtui is a module for declaring commands with completions and actions.
It can return a dynamically generated list of completions based on partial user
The base module doesn't depend on a particular terminal control library,
and support for
lambda-term based REPLs is provided in the
cmdtui is distributed under the ISC license.
cmdtui can be installed with
opam install cmdtui
If you don't use
opam consult the
opam file for build
The documentation and API reference is automatically generated by from
the source interfaces. It can be consulted online or via
odig doc cmdtui.
If you installed cmdtui with
opam sample programs are located in
opam config var cmdtui:doc.
In the distribution sample programs and tests are located in the
test directory of the distribution. They can be built and run
topkg build --tests true && topkg test