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: December 2018

Summary of exported operations:

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

Exported operations:

cursorPos :: Int -> Int -> String   

move cursor to position

cursorHome :: String   

move cursor to home position

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

cursorUp :: Int -> String   

move cursor n lines up

cursorDown :: Int -> String   

move cursor n lines down

cursorFwd :: Int -> String   

move cursor n columns forward

cursorBack :: Int -> String   

move cursor n columns backward

saveCursor :: String   

save cursor position

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

restoreCursor :: String   

restore saved cursor position

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

clear :: String   

clear screen

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

eraseLine :: String   

erase line

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

normal :: String -> String   

Reset formatting to normal formatting

bold :: String -> String   

Bold text

faint :: String -> String   

Faint text

italic :: String -> String   

Italic text

underline :: String -> String   

Underlined text

blinkSlow :: String -> String   

Slowly blinking text

blinkRapid :: String -> String   

rapidly blinking text

inverse :: String -> String   

Inverse colors

concealed :: String -> String   

Concealed (invisible) text

crossedout :: String -> String   

Crossed out text

black :: String -> String   

Black foreground color

red :: String -> String   

Red foreground color

green :: String -> String   

Green foreground color

yellow :: String -> String   

Yellow foreground color

blue :: String -> String   

Blue foreground color

magenta :: String -> String   

Magenta foreground color

cyan :: String -> String   

Cyan foreground color

white :: String -> String   

White foreground color

fgDefault :: String -> String   

Default foreground color

bgBlack :: String -> String   

Black background color

bgRed :: String -> String   

Red background color

bgGreen :: String -> String   

Green background color

bgYellow :: String -> String   

Yellow background color

bgBlue :: String -> String   

Blue background color

bgMagenta :: String -> String   

Magenta background color

bgCyan :: String -> String   

Cyan background color

bgWhite :: String -> String   

White background color

bgDefault :: String -> String   

Default background color