pub struct App {
  width : Int
  height : Int
  prev_buffer : CharBuffer?
  last_layout : 
@mizchi/crater/node.Layout
Layout?
  handlers : EventHandlers
}

pub(all) struct BorderChars {
  top_left : Char
  top_right : Char
  bottom_left : Char
  bottom_right : Char
  horizontal : Char
  vertical : Char
}

pub struct CharBuffer {
  width : Int
  height : Int
  cells : Array[CharCell]
}

pub(all) struct CharCell {
  char : Char
  fg : Color
  bg : Color
  bold : Bool
  underline : Bool
  reverse : Bool
}

pub type ClickHandler () -> Unit

pub(all) struct Color {
  r : Int
  g : Int
  b : Int
  a : Double
}

pub struct Component {
  node : 
@mizchi/crater/node.Node
Node
  styles : RenderStyleMap
  texts : TextContentMap
}

pub struct EventHandlers {
  click_handlers : Map[String, ClickHandler]
}

pub struct FocusManager {
  focus : FocusState
  mode : InputMode
  focusable_ids : Array[String]
}

pub(all) enum FocusState {
  None
  Focused(String)
}

pub(all) struct HitTestResult {
  id : String
  x : Int
  y : Int
  width : Int
  height : Int
}

pub(all) enum InputEvent {
  Key(KeyEvent)
  Mouse(MouseEvent)
  Resize(Int, Int)
  Unknown(String)
}

pub(all) enum InputMode {
  Normal
  Editing
}

pub(all) enum InputResult {
  Confirmed(String)
  Cancelled
  TabNext(String)
  TabPrev(String)
}

pub(all) enum KeyEvent {
  Char(Char, KeyModifier)
  Special(SpecialKey, KeyModifier)
}

pub(all) enum KeyModifier {
  None
  Shift
  Ctrl
  Alt
  CtrlShift
  CtrlAlt
  ShiftAlt
  CtrlShiftAlt
}

pub(all) enum MouseButton {
  Left
  Middle
  Right
  ScrollUp
  ScrollDown
  None
}

pub(all) struct MouseEvent {
  button : MouseButton
  event_type : MouseEventType
  x : Int
  y : Int
  modifier : KeyModifier
}

pub(all) enum MouseEventType {
  Press
  Release
  Move
  Drag
}

pub(all) struct RenderStyle {
  fg : Color
  bg : Color
  bold : Bool
  underline : Bool
  border : BorderChars?
  border_fg : Color
}

pub type RenderStyleMap Map[String, RenderStyle]

pub(all) enum SpecialKey {
  Up
  Down
  Left
  Right
  Home
  End
  PageUp
  PageDown
  Insert
  Delete
  Tab
  BackTab
  Backspace
  Enter
  Escape
  F(Int)
}

pub type TextContentMap Map[String, String]

pub(all) struct TextStyle {
  fg : Color
  bg : Color
  bold : Bool
  underline : Bool
}

fn abort_input_session() -> Unit

fn ansi_bg_256(color_idx : Int) -> String

fn ansi_bg_color(color : Color) -> String

fn ansi_bg_reset() -> String

fn ansi_bold() -> String

fn ansi_clear_line() -> String

fn ansi_clear_screen() -> String

fn ansi_enter_alt_screen() -> String

fn ansi_fg_256(color_idx : Int) -> String

fn ansi_fg_color(color : Color) -> String

fn ansi_full_reset() -> String

fn ansi_hide_cursor() -> String

fn ansi_leave_alt_screen() -> String

fn ansi_move_to(row : Int, col : Int) -> String

fn ansi_reset() -> String

fn ansi_reset_attrs() -> String

fn ansi_reverse() -> String

fn ansi_show_cursor() -> String

fn ansi_underline() -> String

fn box(children : Array[Component], id? : String, width? : 
@mizchi/crater/types.Dimension
Dimension, height? : 
@mizchi/crater/types.Dimension
Dimension, min_width? : 
@mizchi/crater/types.Dimension
Dimension, min_height? : 
@mizchi/crater/types.Dimension
Dimension, max_width? : 
@mizchi/crater/types.Dimension
Dimension, max_height? : 
@mizchi/crater/types.Dimension
Dimension, flex_grow? : Double, flex_shrink? : Double, flex_basis? : 
@mizchi/crater/types.Dimension
Dimension, flex_direction? : 
@mizchi/crater/style.FlexDirection
FlexDirection, flex_wrap? : 
@mizchi/crater/style.FlexWrap
FlexWrap, justify_content? : 
@mizchi/crater/style.Alignment
Alignment, align_items? : 
@mizchi/crater/style.Alignment
Alignment, align_content? : 
@mizchi/crater/style.Alignment
Alignment, gap? : Double, padding? : Double, padding_x? : Double, padding_y? : Double, margin? : Double, margin_x? : Double, margin_y? : Double, border? : BorderChars?, border_color? : Color, bg? : Color, fg? : Color) -> Component

fn buffer_diff_to_ansi(current : CharBuffer, prev : CharBuffer) -> String

fn buffer_to_ansi(buf : CharBuffer) -> String

fn char_display_width(c : Char) -> Int

fn cleanup_stdin() -> Unit

fn color_to_256(color : Color) -> Int

fn compute_layout(node : 
@mizchi/crater/node.Node
Node, width : Int, height : Int) -> 
@mizchi/crater/node.Layout
Layout

fn debug_stderr(s : String) -> Unit

fn debug_stdin_state(label : String) -> Unit

fn disable_mouse() -> String

fn dump_layout(layout : 
@mizchi/crater/node.Layout
Layout, offset_x : Int, offset_y : Int, depth : Int) -> String

fn enable_mouse() -> String

fn enable_raw_mode() -> Unit

fn find_layout_by_id(layout : 
@mizchi/crater/node.Layout
Layout, target_id : String, offset_x : Int, offset_y : Int) -> HitTestResult?

fn find_layout_by_id_root(layout : 
@mizchi/crater/node.Layout
Layout, target_id : String) -> HitTestResult?

fn get_terminal_size() -> (Int, Int)

fn handle_click(layout : 
@mizchi/crater/node.Layout
Layout, handlers : EventHandlers, mouse_x : Int, mouse_y : Int) -> Bool

fn hit_test(layout : 
@mizchi/crater/node.Layout
Layout, mouse_x : Int, mouse_y : Int, offset_x : Int, offset_y : Int) -> HitTestResult?

fn hit_test_root(layout : 
@mizchi/crater/node.Layout
Layout, mouse_x : Int, mouse_y : Int) -> HitTestResult?

fn is_raw_mode() -> Bool

fn is_tty() -> Bool

fn keep_alive_nonblocking(ms : Int) -> Unit

fn key_is_char(event : KeyEvent, c : Char) -> Bool

fn key_is_ctrl_c(event : KeyEvent) -> Bool

fn key_is_ctrl_q(event : KeyEvent) -> Bool

fn key_is_special(event : KeyEvent, special : SpecialKey) -> Bool

fn parse_input(input : String) -> InputEvent

fn poll_keypress() -> Bool

fn print_raw(s : String) -> Unit

async fn read_key() -> String

fn render_layout(buf : CharBuffer, layout : 
@mizchi/crater/node.Layout
Layout, styles : RenderStyleMap, texts : TextContentMap, offset_x : Int, offset_y : Int) -> Unit

fn render_once(width : Int, height : Int, component : Component) -> String

fn render_to_ansi(layout : 
@mizchi/crater/node.Layout
Layout, styles : RenderStyleMap, texts : TextContentMap, width : Int, height : Int) -> String

fn rgb_to_256(r : Int, g : Int, b : Int) -> Int

fn run_app(width : Int, height : Int, render_fn : () -> Component, output_fn : (String) -> Unit) -> (() -> Unit)

async fn sleep(ms : Int) -> Unit

fn spacer(flex_grow? : Double) -> Component

fn start_inline_input(label : String, initial : String, row : Int, col : Int, max_width : Int, max_height : Int, on_result : (InputResult) -> Unit) -> Unit

fn start_inline_input_cooked(field_name : String, initial : String, on_result : (InputResult) -> Unit) -> Unit

fn start_inplace_input(row : Int, col : Int, width : Int, height : Int, multiline : Bool, initial : String, on_result : (InputResult) -> Unit, on_lines_change? : (Int) -> Int?) -> Unit