clearScreen : String
Clears the entire screen
eraseScreen : String
Erases all of the screen
eraseUp : String
Erases the screen from the cursor up
eraseDown : String
Erases the screen from the cursor down
eraseLine : String
Erases the line the cursor is on
eraseLineAfter : String
Erases the line from the cursor to the end
eraseLineBefore : String
Erases the line from the beginning through the cursor
saveScreen : String
restoreScreen : String
scrollUpBy : Basics.Int -> String
Scrolls the terminal up
scrollDownBy : Basics.Int -> String
Scrolls the terminal down
setTitle : String -> String
Sets the title of the terminal
link : { text : String, url : String } -> String
Similar formatting to Markdown URLs. Not all terminals support this format.
beep : String
Emits an audio beep