<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class attributes" rel=Appendix href="index_attributes.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.html">
<link title="Index of class types" rel=Appendix href="index_class_types.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Lwt_condition" rel="Chapter" href="Lwt_condition.html">
<link title="Lwt_list" rel="Chapter" href="Lwt_list.html">
<link title="Lwt" rel="Chapter" href="Lwt.html">
<link title="Lwt_mutex" rel="Chapter" href="Lwt_mutex.html">
<link title="Lwt_mvar" rel="Chapter" href="Lwt_mvar.html">
<link title="Lwt_pool" rel="Chapter" href="Lwt_pool.html">
<link title="Lwt_sequence" rel="Chapter" href="Lwt_sequence.html">
<link title="Lwt_stream" rel="Chapter" href="Lwt_stream.html">
<link title="Lwt_switch" rel="Chapter" href="Lwt_switch.html">
<link title="Lwt_util" rel="Chapter" href="Lwt_util.html">
<link title="Lwt_pqueue" rel="Chapter" href="Lwt_pqueue.html">
<link title="Lwt_lib" rel="Chapter" href="Lwt_lib.html">
<link title="Lwt_glib" rel="Chapter" href="Lwt_glib.html">
<link title="Lwt_preemptive" rel="Chapter" href="Lwt_preemptive.html">
<link title="Lwt_event" rel="Chapter" href="Lwt_event.html">
<link title="Lwt_signal" rel="Chapter" href="Lwt_signal.html">
<link title="Lwt_react" rel="Chapter" href="Lwt_react.html">
<link title="Lwt_ssl" rel="Chapter" href="Lwt_ssl.html">
<link title="Lwt_text" rel="Chapter" href="Lwt_text.html">
<link title="Lwt_term" rel="Chapter" href="Lwt_term.html">
<link title="Lwt_read_line" rel="Chapter" href="Lwt_read_line.html">
<link title="Lwt_top" rel="Chapter" href="Lwt_top.html">
<link title="Lwt_chan" rel="Chapter" href="Lwt_chan.html">
<link title="Lwt_daemon" rel="Chapter" href="Lwt_daemon.html">
<link title="Lwt_gc" rel="Chapter" href="Lwt_gc.html">
<link title="Lwt_io" rel="Chapter" href="Lwt_io.html">
<link title="Lwt_log" rel="Chapter" href="Lwt_log.html">
<link title="Lwt_main" rel="Chapter" href="Lwt_main.html">
<link title="Lwt_process" rel="Chapter" href="Lwt_process.html">
<link title="Lwt_throttle" rel="Chapter" href="Lwt_throttle.html">
<link title="Lwt_timeout" rel="Chapter" href="Lwt_timeout.html">
<link title="Lwt_unix" rel="Chapter" href="Lwt_unix.html">
<link title="Lwt_sys" rel="Chapter" href="Lwt_sys.html">
<link title="Lwt_engine" rel="Chapter" href="Lwt_engine.html">
<link title="Lwt_bytes" rel="Chapter" href="Lwt_bytes.html">
<link title="Pa_lwt" rel="Chapter" href="Pa_lwt.html">
<link title="Pa_lwt_log" rel="Chapter" href="Pa_lwt_log.html"><title>Lwt_term</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">val</span> with_raw_mode : (unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Lwt</span>.t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> raw_mode : unit <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> enter_drawing_mode : unit <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> leave_drawing_mode : unit <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> show_cursor : unit <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> hide_cursor : unit <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> clear_screen : unit <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> clear_line : unit <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> goto_beginning_of_line : int <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">type</span> size = { lines : int; columns : int; }<br>
<span class="keyword">val</span> size : <span class="constructor">Lwt_term</span>.size <span class="constructor">React</span>.signal<br>
<span class="keyword">val</span> columns : int <span class="constructor">React</span>.signal<br>
<span class="keyword">val</span> lines : int <span class="constructor">React</span>.signal<br>
<span class="keyword">val</span> parse_key_raw : <span class="constructor">Text</span>.t <span class="constructor">Lwt_stream</span>.t <span class="keywordsign">-></span> <span class="constructor">Text</span>.t <span class="constructor">Lwt</span>.t<br>
<span class="keyword">type</span> key =<br>
<span class="constructor">Key</span> <span class="keyword">of</span> <span class="constructor">Text</span>.t<br>
<span class="keywordsign">|</span> <span class="constructor">Key_up</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_down</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_left</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_right</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_f</span> <span class="keyword">of</span> int<br>
<span class="keywordsign">|</span> <span class="constructor">Key_next_page</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_previous_page</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_home</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_end</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_insert</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_delete</span><br>
<span class="keywordsign">|</span> <span class="constructor">Key_control</span> <span class="keyword">of</span> char<br>
<span class="keyword">val</span> string_of_key : <span class="constructor">Lwt_term</span>.key <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> control_mapping : (int * char) list<br>
<span class="keyword">val</span> key_enter : <span class="constructor">Lwt_term</span>.key<br>
<span class="keyword">val</span> key_escape : <span class="constructor">Lwt_term</span>.key<br>
<span class="keyword">val</span> key_tab : <span class="constructor">Lwt_term</span>.key<br>
<span class="keyword">val</span> key_backspace : <span class="constructor">Lwt_term</span>.key<br>
<span class="keyword">val</span> sequence_mapping : (<span class="constructor">Text</span>.t * <span class="constructor">Lwt_term</span>.key) list<br>
<span class="keyword">val</span> decode_key : <span class="constructor">Text</span>.t <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.key<br>
<span class="keyword">val</span> standard_input : <span class="constructor">Text</span>.t <span class="constructor">Lwt_stream</span>.t<br>
<span class="keyword">val</span> read_key : unit <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.key <span class="constructor">Lwt</span>.t<br>
<span class="keyword">type</span> color = int<br>
<span class="keyword">val</span> set_color : <span class="constructor">Lwt_term</span>.color <span class="keywordsign">-></span> int * int * int <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> default : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> black : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> red : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> green : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> yellow : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> blue : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> magenta : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> cyan : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> white : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lblack : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lred : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lgreen : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lyellow : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lblue : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lmagenta : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lcyan : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">val</span> lwhite : <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">type</span> styled_text_instruction =<br>
<span class="constructor">Text</span> <span class="keyword">of</span> <span class="constructor">Text</span>.t<br>
<span class="keywordsign">|</span> <span class="constructor">Reset</span><br>
<span class="keywordsign">|</span> <span class="constructor">Bold</span><br>
<span class="keywordsign">|</span> <span class="constructor">Underlined</span><br>
<span class="keywordsign">|</span> <span class="constructor">Blink</span><br>
<span class="keywordsign">|</span> <span class="constructor">Inverse</span><br>
<span class="keywordsign">|</span> <span class="constructor">Hidden</span><br>
<span class="keywordsign">|</span> <span class="constructor">Foreground</span> <span class="keyword">of</span> <span class="constructor">Lwt_term</span>.color<br>
<span class="keywordsign">|</span> <span class="constructor">Background</span> <span class="keyword">of</span> <span class="constructor">Lwt_term</span>.color<br>
<span class="keyword">type</span> styled_text = <span class="constructor">Lwt_term</span>.styled_text_instruction list<br>
<span class="keyword">val</span> textf :<br>
(<span class="keywordsign">'</span>a, unit, string, <span class="constructor">Lwt_term</span>.styled_text_instruction) <span class="constructor">Pervasives</span>.format4 <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> text : <span class="constructor">Text</span>.t <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> reset : <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> bold : <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> underlined : <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> blink : <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> inverse : <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> hidden : <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> fg : <span class="constructor">Lwt_term</span>.color <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> bg : <span class="constructor">Lwt_term</span>.color <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.styled_text_instruction<br>
<span class="keyword">val</span> strip_styles : <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> <span class="constructor">Text</span>.t<br>
<span class="keyword">val</span> styled_length : <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> write_styled :<br>
<span class="constructor">Lwt_text</span>.output_channel <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> printc : <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> eprintc : <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> printlc : <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> eprintlc : <span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">type</span> style = {<br>
bold : bool;<br>
underlined : bool;<br>
blink : bool;<br>
inverse : bool;<br>
hidden : bool;<br>
foreground : <span class="constructor">Lwt_term</span>.color;<br>
background : <span class="constructor">Lwt_term</span>.color;<br>
}<br>
<span class="keyword">type</span> point = { char : <span class="constructor">Text</span>.t; style : <span class="constructor">Lwt_term</span>.style; }<br>
<span class="keyword">val</span> blank : <span class="constructor">Lwt_term</span>.point<br>
<span class="keyword">val</span> render : <span class="constructor">Lwt_term</span>.point array array <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">val</span> render_update :<br>
<span class="constructor">Lwt_term</span>.point array array <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.point array array <span class="keywordsign">-></span> unit <span class="constructor">Lwt</span>.t<br>
<span class="keyword">module</span> <span class="constructor">Zone</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">type</span> t = {<br>
points : <span class="constructor">Lwt_term</span>.point array array;<br>
x : int;<br>
y : int;<br>
width : int;<br>
height : int;<br>
}<br>
<span class="keyword">val</span> points : <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.point array array<br>
<span class="keyword">val</span> x : <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> y : <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> width : <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> height : <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> make : width:int <span class="keywordsign">-></span> height:int <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t<br>
<span class="keyword">val</span> sub :<br>
zone:<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span><br>
x:int <span class="keywordsign">-></span> y:int <span class="keywordsign">-></span> width:int <span class="keywordsign">-></span> height:int <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t<br>
<span class="keyword">val</span> inner : <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">Draw</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">val</span> get : zone:<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> x:int <span class="keywordsign">-></span> y:int <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.point<br>
<span class="keyword">val</span> set :<br>
zone:<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span><br>
x:int <span class="keywordsign">-></span> y:int <span class="keywordsign">-></span> point:<span class="constructor">Lwt_term</span>.point <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map :<br>
zone:<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span><br>
x:int <span class="keywordsign">-></span> y:int <span class="keywordsign">-></span> (<span class="constructor">Lwt_term</span>.point <span class="keywordsign">-></span> <span class="constructor">Lwt_term</span>.point) <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> text :<br>
zone:<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span> x:int <span class="keywordsign">-></span> y:int <span class="keywordsign">-></span> text:<span class="constructor">Text</span>.t <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> textf :<br>
<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span><br>
int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a, unit, string, unit) <span class="constructor">Pervasives</span>.format4 <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> textc :<br>
zone:<span class="constructor">Lwt_term</span>.<span class="constructor">Zone</span>.t <span class="keywordsign">-></span><br>
x:int <span class="keywordsign">-></span> y:int <span class="keywordsign">-></span> text:<span class="constructor">Lwt_term</span>.styled_text <span class="keywordsign">-></span> unit<br>
<span class="keyword">end</span><br>
<span class="keyword">end</span></code></body></html>
