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_diff/index.html

Module Miaou_driver_matrix.Matrix_diffSource

Diff algorithm for the Matrix driver.

Compares front and back buffers to compute minimal changes needed to update the terminal display. Optimizes for:

  • Skipping unchanged cells
  • Minimizing cursor movements
  • Batching consecutive characters
  • Minimizing style changes
Sourcetype change =
  1. | MoveTo of int * int
    (*

    Move cursor to (row, col), 0-indexed

    *)
  2. | SetStyle of Matrix_cell.style
    (*

    Change current text style

    *)
  3. | WriteChar of string
    (*

    Write a single character

    *)
  4. | WriteRun of string * int
    (*

    Write character repeated N times

    *)

A single change operation.

Sourceval compute : Matrix_buffer.t -> change list

Compute diff between front (displayed) and back (new) buffers. Returns list of changes to transform front into back. NOT thread-safe - use compute_atomic for two-domain architecture.

Sourceval compute_atomic : Matrix_buffer.t -> change list

Compute diff atomically with buffer lock held. Thread-safe for two-domain architecture. Also swaps buffers while holding the lock to prevent torn reads. Use this from the render domain.

Sourceval compute_region : Matrix_buffer.t -> row:int -> col:int -> width:int -> height:int -> change list

Compute diff for a specific region of the buffer.

Sourceval count_changes : Matrix_buffer.t -> int

Count number of cells that differ between front and back.