package miaou-driver-matrix

  1. Overview
  2. Docs

Module Miaou_driver_matrix.Matrix_ioSource

I/O abstraction for the Matrix driver.

Defines event types and I/O interfaces that decouple the main loop from a specific terminal implementation. This enables reuse of the Matrix rendering engine (buffer, diff, ANSI writer) with different backends (terminal, WebSocket, etc.).

Sourcetype event =
  1. | Key of string
    (*

    Named key or character

    *)
  2. | MousePress of int * int * int
    (*

    Mouse button pressed at (row, col, button), 0-indexed. button: 0=left, 1=middle, 2=right

    *)
  3. | Mouse of int * int * int
    (*

    Mouse button released (click) at (row, col, button), 0-indexed. button: 0=left, 1=middle, 2=right

    *)
  4. | MouseDrag of int * int
    (*

    Mouse motion while button held, at (row, col)

    *)
  5. | Resize
    (*

    Viewport was resized

    *)
  6. | Refresh
    (*

    Time for service_cycle - rate limited

    *)
  7. | Idle
    (*

    No input, not time for refresh

    *)
  8. | Quit
    (*

    Exit signal received

    *)

Input events produced by any backend.

Sourcetype t = {
  1. write : string -> unit;
    (*

    Write an ANSI string to the output (terminal or WebSocket).

    *)
  2. drain : unit -> event list;
    (*

    Drain all pending events from the input queue (oldest first). Returns the empty list when nothing is buffered.

    *)
  3. size : unit -> int * int;
    (*

    Get current viewport dimensions as (rows, cols).

    *)
  4. invalidate_size_cache : unit -> unit;
    (*

    Invalidate cached size (e.g. after resize event).

    *)
}

I/O operations provided by a backend.