package lambda-term

  1. Overview
  2. Docs
type t
exception No_such_encoding of string
val create : ?windows:bool -> ?model:string -> ?incoming_encoding:string -> ?outgoing_encoding:string -> Lwt_unix.file_descr -> Lwt_io.input_channel -> Lwt_unix.file_descr -> Lwt_io.output_channel -> t Lwt.t
val model : t -> string
val colors : t -> int
val windows : t -> bool
val is_a_tty : t -> bool
val incoming_is_a_tty : t -> bool
val outgoing_is_a_tty : t -> bool
val escape_time : t -> float
val set_escape_time : t -> float -> unit
exception Not_a_tty
val size : t -> LTerm_geom.size
type mode
val enter_raw_mode : t -> mode Lwt.t
val leave_raw_mode : t -> mode -> unit Lwt.t
val enable_mouse : t -> unit Lwt.t
val disable_mouse : t -> unit Lwt.t
val show_cursor : t -> unit Lwt.t
val hide_cursor : t -> unit Lwt.t
val goto : t -> LTerm_geom.coord -> unit Lwt.t
val move : t -> int -> int -> unit Lwt.t
val clear_screen : t -> unit Lwt.t
val clear_screen_next : t -> unit Lwt.t
val clear_screen_prev : t -> unit Lwt.t
val clear_line : t -> unit Lwt.t
val clear_line_next : t -> unit Lwt.t
val clear_line_prev : t -> unit Lwt.t
val save_state : t -> unit Lwt.t
val load_state : t -> unit Lwt.t
val read_event : t -> LTerm_event.t Lwt.t
val fprint : t -> Zed_utf8.t -> unit Lwt.t
val fprintl : t -> Zed_utf8.t -> unit Lwt.t
val fprintf : t -> ('a, unit, Zed_utf8.t, unit Lwt.t) Pervasives.format4 -> 'a
val fprints : t -> LTerm_text.t -> unit Lwt.t
val fprintlf : t -> ('a, unit, Zed_utf8.t, unit Lwt.t) Pervasives.format4 -> 'a
val fprintls : t -> LTerm_text.t -> unit Lwt.t
val print : Zed_utf8.t -> unit Lwt.t
val printl : Zed_utf8.t -> unit Lwt.t
val printf : ('a, unit, Zed_utf8.t, unit Lwt.t) Pervasives.format4 -> 'a
val prints : LTerm_text.t -> unit Lwt.t
val printlf : ('a, unit, Zed_utf8.t, unit Lwt.t) Pervasives.format4 -> 'a
val printls : LTerm_text.t -> unit Lwt.t
val eprint : Zed_utf8.t -> unit Lwt.t
val eprintl : Zed_utf8.t -> unit Lwt.t
val eprintf : ('a, unit, Zed_utf8.t, unit Lwt.t) Pervasives.format4 -> 'a
val eprints : LTerm_text.t -> unit Lwt.t
val eprintlf : ('a, unit, Zed_utf8.t, unit Lwt.t) Pervasives.format4 -> 'a
val eprintls : LTerm_text.t -> unit Lwt.t
type context
val with_context : t -> (context -> 'a Lwt.t) -> 'a Lwt.t
val update_style : context -> LTerm_style.t -> unit Lwt.t
val context_term : context -> t
val context_oc : context -> Lwt_io.output_channel
val encode_string : t -> Zed_utf8.t -> string
val encode_char : t -> CamomileLibrary.UChar.t -> string
val set_style : t -> LTerm_style.t -> unit Lwt.t
val render : t -> LTerm_draw.matrix -> unit Lwt.t
val render_update : t -> LTerm_draw.matrix -> LTerm_draw.matrix -> unit Lwt.t
val print_box : t -> LTerm_draw.matrix -> unit Lwt.t
val print_box_with_newlines : t -> LTerm_draw.matrix -> unit Lwt.t
val flush : t -> unit Lwt.t
val stdout : t Lwt.t Lazy.t
val stderr : t Lwt.t Lazy.t
val get_size_from_fd : Lwt_unix.file_descr -> LTerm_geom.size Lwt.t
val set_size_from_fd : Lwt_unix.file_descr -> LTerm_geom.size -> unit Lwt.t
val set_io : ?incoming_fd:Lwt_unix.file_descr -> ?incoming_channel:Lwt_io.input_channel -> ?outgoing_fd:Lwt_unix.file_descr -> ?outgoing_channel:Lwt_io.output_channel -> t -> unit Lwt.t
val get_size : t -> LTerm_geom.size Lwt.t
val set_size : t -> LTerm_geom.size -> unit Lwt.t