Documentation

Color Escape to_str style color Input parse_raw_stdin input_to_str symbol_to_str upper_to_str lower_to_str ScreenSize CursorPosition DrawFn Pixel parse_cursor update_cursor draw_screen draw_box draw_v_line draw_h_line draw_cursor draw_text

C16 Name name_to_code to_c256

Control to_code

Rgb Hex from_hex

PieceTable Entry insert length delete to_list

(press s)

ANSI.Color : Color.Color
ANSI.Escape
ANSI.to_str : Escape -> Str
ANSI.style : Str, List Style -> Str
ANSI.color : Str, { fg ? Color, bg ? Color } -> Str
ANSI.Input
ANSI.parse_raw_stdin : List U8 -> Input
ANSI.input_to_str : Input -> Str
ANSI.symbol_to_str : Symbol -> Str
ANSI.upper_to_str : Letter -> Str
ANSI.lower_to_str : Letter -> Str
ANSI.ScreenSize
ANSI.CursorPosition
ANSI.DrawFn
ANSI.Pixel
ANSI.parse_cursor : List U8 -> CursorPosition
ANSI.update_cursor : { cursor : CursorPosition, screen : ScreenSize }a, [ Up, Down, Left, Right ] -> { cursor : CursorPosition, screen : ScreenSize }a
ANSI.draw_screen : { cursor : CursorPosition, screen : ScreenSize }*, List DrawFn -> Str
ANSI.draw_box : { r : U16, c : U16, w : U16, h : U16, fg ? Color, bg ? Color, char ? Str, styles ? List Style } -> DrawFn
ANSI.draw_v_line : { r : U16, c : U16, len : U16, fg ? Color, bg ? Color, char ? Str, styles ? List Style } -> DrawFn
ANSI.draw_h_line : { r : U16, c : U16, len : U16, fg ? Color, bg ? Color, char ? Str, styles ? List Style } -> DrawFn
ANSI.draw_cursor : { fg ? Color, bg ? Color, char ? Str, styles ? List Style } -> DrawFn
ANSI.draw_text : Str, { r : U16, c : U16, fg ? Color, bg ? Color, styles ? List Style } -> DrawFn
C16.C16
C16.Name : [ Black, Red, Green, Yellow, Blue, Magenta, Cyan, White ]
C16.name_to_code : Name -> U8
C16.to_c256 : C16 -> C256
C256.C256
C256.to_rgb : C256 -> Rgb
Color.Color
Color.to_code : Color, U8 -> List U8
Control.Control
Control.to_code : Control -> Str
Rgb.Rgb
Rgb.Hex
Rgb.from_hex : Hex -> Rgb
Style.Style
Style.to_code : Style -> List U8
PieceTable.PieceTable
PieceTable.Entry
PieceTable.insert : PieceTable a, { values : List a, index : U64 } -> PieceTable a
PieceTable.length : List Entry -> U64
PieceTable.delete : PieceTable a, { index : U64 } -> PieceTable a
PieceTable.to_list : PieceTable a -> List a

Exposed Modules

ANSI
C16
C256
Color
Control
Rgb
Style
PieceTable

Made by people who like to make nice things.