diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-02-04 15:20:53 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-02-04 15:26:10 -0700 |
| commit | 3a5d965333bb2d7a115e4de05d88ada48fd1d677 (patch) | |
| tree | 2caa3ff258206e02dcc481c4fe76fe87dcef92a2 /extras | |
| parent | 07a79849230acba680b04cd0cbad085dfc18217b (diff) | |
| download | rde-3a5d965333bb2d7a115e4de05d88ada48fd1d677.tar.gz rde-3a5d965333bb2d7a115e4de05d88ada48fd1d677.tar.bz2 rde-3a5d965333bb2d7a115e4de05d88ada48fd1d677.zip | |
Overhaul how Wml is implemented.
This adds a new "KeyFeed" monad which is reminiscent of a parsec-type
monad. This allows keys like 'g' to be mapped using a subbind and the
actual WML part be handled in the catch-all handler.
This also significantly cleans up the typing and complexity of the Wml
implementation.
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions