package miaou-core

  1. Overview
  2. Docs
Miaou core/widgets (no drivers, no SDL)

Install

dune-project
 Dependency

Authors

Maintainers

Sources

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

doc/src/miaou-core.core/lib_tui.ml.html

Source file lib_tui.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
(*****************************************************************************)
(*                                                                           *)
(* SPDX-License-Identifier: MIT                                              *)
(* Copyright (c) 2025 Nomadic Labs <contact@nomadic-labs.com>                *)
(*                                                                           *)
(*****************************************************************************)

module Tui_page = Tui_page
module Registry = Registry
module Widgets = Miaou_widgets_display.Widgets

(* Re-export widget modules from the miaou.widgets library to avoid duplicating implementations.
	Consumers should access them as Miaou.Core.Widgets or via the top-level Miaou library. *)
module Table_widget = Miaou_widgets_display.Table_widget
module Textbox_widget = Miaou_widgets_input.Textbox_widget
module Select_widget = Miaou_widgets_input.Select_widget
module File_browser_widget = Miaou_widgets_layout.File_browser_widget
module File_browser_modal = File_browser_modal
module Pane_layout = Miaou_widgets_layout.Pane_layout
module Pager_widget = Miaou_widgets_display.Pager_widget
module Tree_widget = Miaou_widgets_display.Tree_widget
module List_widget = Miaou_widgets_display.List_widget
module Tui_logger = Tui_logger

(* The following modules are application-specific and are intentionally
	not re-exported by the core library. Applications that need these
	helpers should reference their own `App_specific` (or similarly
	named) modules directly. *)
module Keys = Keys
module Palette = Miaou_widgets_display.Palette
module Modal_manager = Modal_manager
module Quit_flag = Quit_flag
module Help_hint = Help_hint