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

Exported Functions


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