lambda-term 3.3.1 · OCaml Package

Parameters

module LiteralIntf : LiteralIntf.Type

Signature

type t = (Zed_char.t * LTerm_style.t) array

val dummy : Zed_char.t * LTerm_style.t

val of_string : Zed_string.t -> (Zed_char.t * LTerm_style.t) array

val aval_width : 
  (Zed_string.all_width, Zed_string.seg_width) Result.result ->
  int

val of_utf8 : string -> (Zed_char.t * LTerm_style.t) array

val uchar_of_hex : int -> Uchar.t

val of_string_maybe_invalid : 
  Zed_string.t ->
  (Zed_char.t * LTerm_style.t) array

val of_utf8_maybe_invalid : string -> (Zed_char.t * LTerm_style.t) array

val to_string : (Zed_char.t * 'a) array -> Zed_string.t

val of_rope : Zed_rope.rope -> (Zed_char.t * LTerm_style.t) array

val to_rope : (Zed_char.t * 'a) array -> Zed_rope.rope

val stylise : string -> 'a -> (Zed_char.t * 'a) array

val lparen : Zed_char.t

val rparen : Zed_char.t

val lbrace : Zed_char.t

val rbrace : Zed_char.t

val lbracket : Zed_char.t

val rbracket : Zed_char.t

type search_result =

| No_match_found
| No_paren_found
| Match_found of int

val stylise_parenthesis : 
  (Zed_char.t * LTerm_style.t) array ->
  ?paren:(Zed_char.t * Zed_char.t) list ->
  int ->
  LTerm_style.t ->
  unit

type item =

| S of LiteralIntf.string_intf
| R of Zed_rope.t
| B_bold of bool
| E_bold
| B_underline of bool
| E_underline
| B_blink of bool
| E_blink
| B_reverse of bool
| E_reverse
| B_fg of LTerm_style.color
| E_fg
| B_bg of LTerm_style.color
| E_bg

type markup = item list

type eval_stack = {

mutable q_bold : bool option list;
mutable q_underline : bool option list;
mutable q_blink : bool option list;
mutable q_reverse : bool option list;
mutable q_fg : LTerm_style.color option list;
mutable q_bg : LTerm_style.color option list;

}

val markup_length : item list -> int

val eval : item list -> (Zed_char.t * LTerm_style.t) array

Styled formatters

val make_formatter : 
  ?read_color:(Format.tag -> LTerm_style.t) ->
  unit ->
  (unit -> (Zed_char.t * LTerm_style.t) array) * Format.formatter

val pp_with_style : 
  ('a -> Format.tag) ->
  'a ->
  ('b, Format.formatter, unit, unit) format4 ->
  Format.formatter ->
  'b

val kstyprintf : 
  ?read_color:(Format.tag -> LTerm_style.t) ->
  ((Zed_char.t * LTerm_style.t) array -> 'a) ->
  ('b, Format.formatter, unit, 'a) format4 ->
  'b

val styprintf : 
  ?read_color:(Format.tag -> LTerm_style.t) ->
  ('a, Format.formatter, unit, (Zed_char.t * LTerm_style.t) array) format4 ->
  'a

package lambda-term

Parameters

Signature

Styled formatters