vortex-keymap

Modal key bindings as a theory - a keymap is a script, a key is a program

Version0.1.0
LicenceBSD-3-Clause
AuthorHorizon Haskell
Maintainerlocallycompact@gmail.com
Pinned byhackage vortex-keymap 0.1.0
Sourcehackage.haskell.org/package/vortex-keymap-0.1.0

Modules

4 modules

Vortex.Keymap0Modal key bindings as a theory. A keymap is a script over the
Vortex.Keymap.Effects10A keymap as a script: one expression in a pure declaration row
Vortex.Keymap.Key7Keys as a small, pure, Helix-style type with a textual codec:
Vortex.Keymap.Tree7The keymap as a tree: prefix keys open sub-trees, leaves carry a

Description

Helix-style modal key bindings for a vortex host. A keymap is a script over the Keys effect row (bind, prefix, unbind), folded purely onto a tree whose leaves are programs of the host's own theory; the same tree drives one-key-at-a-time dispatch, the infobox that lists what a prefix offers, and a help table. No IO in the row, no toolkit in the library: a host maps its input events to Key and runs the programs.

Depends on

4 packages

base-4.22.0.0with GHC
containers-0.8with GHC
polysemy-1.9.2.0in this set
text-2.1.3with GHC

Used by in this set · 0

Nothing in this set depends on it.