package miaou-driver-matrix

  1. Overview
  2. Docs
Miaou high-performance terminal driver with diff rendering

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. N
    Nomadic Labs <contact@nomadic-labs.com>

Maintainers

  1. N
    Nomadic Labs <contact@nomadic-labs.com>

Sources

v0.5.2.tar.gz
md5=60a3b9f181f24572a06a9492532bfdda
sha512=fcc35a275066be2900e6201782faf47503076fa4640f08cf78067835a6f447b74613009e55b2ac799adb7ca46f1bffa261fc5971753f2cc3c6bef327511c7ef6

doc/miaou-driver-matrix.driver/Miaou_driver_matrix/Matrix_main_loop/index.html

Module Miaou_driver_matrix.Matrix_main_loopSource

Shared main loop for the Matrix rendering engine.

Contains the event loop, page rendering, modal handling, keymap dispatch, and navigation logic. Parameterized on I/O via Matrix_io.t so it can be reused by different backends (terminal, WebSocket, etc.).

The rendering pipeline (buffer, diff, ANSI writer) is shared across all backends. Only the I/O operations (write, input, size) differ.

Sourcetype context = {
  1. config : Matrix_config.t;
  2. buffer : Matrix_buffer.t;
  3. parser : Matrix_ansi_parser.t;
  4. render_loop : Matrix_render_loop.t;
  5. io : Matrix_io.t;
}

Context required to run the main loop.

Sourceval run : context -> env:Eio_unix.Stdenv.base -> (module Miaou_core.Tui_page.PAGE_SIG) -> [ `Quit | `Back | `SwitchTo of string ]

Run the main loop for a page.

Handles rendering, input, modal dispatch, and navigation. Returns when the page requests a quit or page switch.

Must be called inside Miaou_helpers.Fiber_runtime.with_page_switch.