Module System.Console.ANSI.Codes

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