Module System.Console.ANSI.Codes

Library for formatted output on terminals

Information on ANSI Codes can be found at http://en.wikipedia.org/wiki/ANSIescapecode

Author: Sebastian Fischer, Bjoern Peemoeller

Version: November 2020

Summary of exported operations:

cursorPos :: Int -> Int -> String  Deterministic 
move cursor to position
cursorHome :: String  Deterministic 
move cursor to home position
cursorUp :: Int -> String  Deterministic 
move cursor n lines up
cursorDown :: Int -> String  Deterministic 
move cursor n lines down
cursorFwd :: Int -> String  Deterministic 
move cursor n columns forward
cursorBack :: Int -> String  Deterministic 
move cursor n columns backward
saveCursor :: String  Deterministic 
save cursor position
restoreCursor :: String  Deterministic 
restore saved cursor position
clear :: String  Deterministic 
clear screen
eraseLine :: String  Deterministic 
erase line
normal :: String -> String  Deterministic 
Reset formatting to normal formatting
bold :: String -> String  Deterministic 
Bold text
faint :: String -> String  Deterministic 
Faint text
italic :: String -> String  Deterministic 
Italic text
underline :: String -> String  Deterministic 
Underlined text
blinkSlow :: String -> String  Deterministic 
Slowly blinking text
blinkRapid :: String -> String  Deterministic 
rapidly blinking text
inverse :: String -> String  Deterministic 
Inverse colors
concealed :: String -> String  Deterministic 
Concealed (invisible) text
crossedout :: String -> String  Deterministic 
Crossed out text
black :: String -> String  Deterministic 
Black foreground color
red :: String -> String  Deterministic 
Red foreground color
green :: String -> String  Deterministic 
Green foreground color
yellow :: String -> String  Deterministic 
Yellow foreground color
blue :: String -> String  Deterministic 
Blue foreground color
magenta :: String -> String  Deterministic 
Magenta foreground color
cyan :: String -> String  Deterministic 
Cyan foreground color
white :: String -> String  Deterministic 
White foreground color
fgDefault :: String -> String  Deterministic 
Default foreground color
bgBlack :: String -> String  Deterministic 
Black background color
bgRed :: String -> String  Deterministic 
Red background color
bgGreen :: String -> String  Deterministic 
Green background color
bgYellow :: String -> String  Deterministic 
Yellow background color
bgBlue :: String -> String  Deterministic 
Blue background color
bgMagenta :: String -> String  Deterministic 
Magenta background color
bgCyan :: String -> String  Deterministic 
Cyan background color
bgWhite :: String -> String  Deterministic 
White background color
bgDefault :: String -> String  Deterministic 
Default background color

Exported operations:

cursorPos :: Int -> Int -> String  Deterministic 

move cursor to position

cursorHome :: String  Deterministic 

move cursor to home position

Further infos:
  • solution complete, i.e., able to compute all solutions

cursorUp :: Int -> String  Deterministic 

move cursor n lines up

cursorDown :: Int -> String  Deterministic 

move cursor n lines down

cursorFwd :: Int -> String  Deterministic 

move cursor n columns forward

cursorBack :: Int -> String  Deterministic 

move cursor n columns backward

saveCursor :: String  Deterministic 

save cursor position

Further infos:
  • solution complete, i.e., able to compute all solutions

restoreCursor :: String  Deterministic 

restore saved cursor position

Further infos:
  • solution complete, i.e., able to compute all solutions

clear :: String  Deterministic 

clear screen

Further infos:
  • solution complete, i.e., able to compute all solutions

eraseLine :: String  Deterministic 

erase line

Further infos:
  • solution complete, i.e., able to compute all solutions

normal :: String -> String  Deterministic 

Reset formatting to normal formatting

bold :: String -> String  Deterministic 

Bold text

faint :: String -> String  Deterministic 

Faint text

italic :: String -> String  Deterministic 

Italic text

underline :: String -> String  Deterministic 

Underlined text

blinkSlow :: String -> String  Deterministic 

Slowly blinking text

blinkRapid :: String -> String  Deterministic 

rapidly blinking text

inverse :: String -> String  Deterministic 

Inverse colors

concealed :: String -> String  Deterministic 

Concealed (invisible) text

crossedout :: String -> String  Deterministic 

Crossed out text

black :: String -> String  Deterministic 

Black foreground color

red :: String -> String  Deterministic 

Red foreground color

green :: String -> String  Deterministic 

Green foreground color

yellow :: String -> String  Deterministic 

Yellow foreground color

blue :: String -> String  Deterministic 

Blue foreground color

magenta :: String -> String  Deterministic 

Magenta foreground color

cyan :: String -> String  Deterministic 

Cyan foreground color

white :: String -> String  Deterministic 

White foreground color

fgDefault :: String -> String  Deterministic 

Default foreground color

bgBlack :: String -> String  Deterministic 

Black background color

bgRed :: String -> String  Deterministic 

Red background color

bgGreen :: String -> String  Deterministic 

Green background color

bgYellow :: String -> String  Deterministic 

Yellow background color

bgBlue :: String -> String  Deterministic 

Blue background color

bgMagenta :: String -> String  Deterministic 

Magenta background color

bgCyan :: String -> String  Deterministic 

Cyan background color

bgWhite :: String -> String  Deterministic 

White background color

bgDefault :: String -> String  Deterministic 

Default background color