{-# LANGUAGE Safe #-} {-| == Introduction Through this module, this library provides platform-independent support for control character sequences following the \'ANSI\' standards (see further below) for terminal software that supports those sequences, running on a Unix-like operating system or on Windows (see further below). The sequences of control characters (also referred to as \'escape\' sequences or codes) provide a rich range of functionality for terminal control, which includes: * Colored text output, with control over foreground, background and (where supported) underlining colors * Clearing parts of a line or the screen * Hiding or showing the cursor * Moving the cursor around * Reporting the position of the cursor * Enabling or disabling automatic line wrapping * Scrolling the screen up or down * Switching between the Alternate and Normal Screen Buffers * Clickable hyperlinks to URIs * Changing the title of the terminal A terminal that supports control character sequences acts on them when they are flushed from the output buffer (with a newline character @\"\\n\"@ or, for the standard output channel, @hFlush stdout@). == \'ANSI\' standards The \'ANSI\' standards refer to (1) standard ECMA-48 \`Control Functions for Coded Character Sets\' (5th edition, 1991); (2) extensions in ITU-T Recommendation (previously CCITT Recommendation) T.416 (03/93) \'Information Technology – Open Document Architecture (ODA) and Interchange Format: Character Content Architectures\` (also published as ISO/IEC International Standard 8613-6); and (3) further extensions used by \'XTerm\', a terminal emulator for the X Window System. The escape codes are described in a [Wikipedia article](http://en.wikipedia.org/wiki/ANSI_escape_code) and those codes supported on current versions of Windows are descibed in [Microsoft's documentation](https://docs.microsoft.com/en-us/windows/console/console-virtual-terminal-sequences). The whole of the \'ANSI\' standards are not supported by this library but most (if not all) of the parts that are popular and well-supported by terminal software are supported (see further below). == Cursor positions The functions moving the cursor to an absolute position are 0-based (the top-left corner is considered to be at row 0 column 0) (see 'setCursorPosition') and so is 'getCursorPosition'. The \'ANSI\' standards themselves are 1-based (that is, the top-left corner is considered to be at row 1 column 1) and some functions reporting the position of the cursor are too (see 'reportCursorPosition'). == Windows and control character sequences The native terminal software on Windows has developed over time. Before Windows 10 version 1511 (known as the \'November [2015] Update\' or \'Threshold 2\') that software did not support control character sequences. From 2018, Microsoft introduced the Windows Pseudo Console (\'ConPTY\') API and then Windows Terminal, with the objective of replacing most of the Windows Console API with the use of control character sequences and retiring the historical user-interface role of Windows Console Host (\'ConHost\'). Windows Terminal is supported on Windows 10 version 19041.0 or higher and provided with Windows 11. It can be downloaded from the Microsoft Store. Windows Terminal can be set as the default terminal application on Windows 10 (from the 22H2 update) and is the default application on Windows 11 (from the 22H2 update). Despite the above developments, some Windows users may continue to use ConHost. ConHost does not enable the processing of \'ANSI\' control characters in output by default. See 'hNowSupportsANSI' for a function that can try to enable such processing. Terminal software other than the native software exists for Windows. One example is the \'mintty\' terminal emulator for \'Cygwin\', \'MSYS\' or \'MSYS2\', and dervied projects, and for \'WSL\' (Windows Subsystem for Linux). GHC's management of input and output (IO) on Windows has also developed over time. If they are supported by the terminal software, some control character sequences cause data to be emitted into the console input stream. For GHC's historical and default IO manager, the function 'System.IO.hGetBufNonBlocking' in module "System.IO" does not work on Windows. This has been attributed to the lack of non-blocking primatives in the operating system (see [GHC bug report #806](https://ghc.haskell.org/trac/ghc/ticket/806). GHC's native IO manager on Windows (\'WinIO\'), introduced as a preview in [GHC 9.0.1](https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/9.0.1-notes.html#highlights), has not yet provided a solution. On Windows, this library uses emulation based on the Windows Console API to try to read data emitted into the console input stream. Functions that use that emulation are not supported on consoles, such as mintty, that are not based on that API. == Function variants provided Every function exported by this module comes in three variants, namely: * A variant that has an @IO ()@ type and doesn't take a @Handle@ (for example, @clearScreen :: IO ()@). This variant just outputs the \`ANSI\` command directly to the standard output channel ('stdout') and any terminal corresponding to it. Commands issued like this should work as you expect on both Unix-like operating systems and Windows (unless exceptions on Windows are stated). * An \'@h@...\' variant that has an @IO ()@ type but takes a @Handle@ (for example, @hClearScreen :: Handle -> IO ()@). This variant outputs the \`ANSI\` command to the supplied handle and any terminal corresponding to it. Commands issued like this should also work as you expect on both Unix-like operating systems and Windows (unless exceptions on Windows are stated). * A \'...@Code@\' variant that has a @String@ type (for example, @clearScreenCode :: String@). This variant outputs the sequence of control characters as a 'String', which can be added to any other bit of text before being output. If a high degree of backwards compatability is rewuired, the use of these codes is discouraged because they will not work on legacy versions of Windows where the terminal in use is not ANSI-enabled (see further above). On Windows, where emulation has been necessary, these variants will always output the empty string. That is done so that it is possible to use them portably; for example, coloring console output on the understanding that you will see colors only if you are running on a Unix-like operating system or a version of Windows where emulation has not been necessary. If the control characters are always required, see module "System.Console.ANSI.Codes". == Examples of use A simple example is below: > module Main where > > import System.Console.ANSI > import System.IO (stdout) > > -- Set colors and write some text in those colors. > main :: IO () > main = do > stdoutSupportsANSI <- hNowSupportsANSI stdout > if stdoutSupportsANSI > then do > setSGR [SetColor Foreground Vivid Red] > setSGR [SetColor Background Vivid Blue] > putStrLn "Red-On-Blue" > setSGR [Reset] -- Reset to default colour scheme > putStrLn "Default colors." > else > putStrLn "Standard output does not support 'ANSI' escape codes." Another example is below: > module Main where > > import System.IO (hFlush, stdout) > import System.Console.ANSI > > main :: IO () > main = do > stdoutSupportsANSI <- hNowSupportsANSI stdout > if stdoutSupportsANSI > then do > setSGR [SetColor Foreground Dull Blue] > putStr "Enter your name: " > setSGR [SetColor Foreground Dull Yellow] > hFlush stdout -- flush the output buffer before getLine > name <- getLine > setSGR [SetColor Foreground Dull Blue] > putStrLn $ "Hello, " ++ name ++ "!" > setSGR [Reset] -- reset to default colour scheme > else > putStrLn "Standard output does not support 'ANSI' escape codes." For many more examples, see the project's extensive <https://github.com/UnkindPartition/ansi-terminal/blob/master/app/Example.hs Example.hs> file. -} module System.Console.ANSI ( -- * Basic data types module System.Console.ANSI.Types -- * Cursor movement by character , cursorUp , cursorDown , cursorForward , cursorBackward -- ** \'h...\' variants , hCursorUp , hCursorDown , hCursorForward , hCursorBackward -- ** \'...Code\' variants , cursorUpCode , cursorDownCode , cursorForwardCode , cursorBackwardCode -- * Cursor movement by line -- -- | The difference between movements \"by character\" and \"by line\" is -- that @*Line@ functions additionally move the cursor to the start of the -- line, while functions like @cursorUp@ and @cursorDown@ keep the column -- the same. , cursorUpLine , cursorDownLine -- ** \'h...\' variants , hCursorUpLine , hCursorDownLine -- ** \'...Code\' variants , cursorUpLineCode , cursorDownLineCode -- * Directly changing cursor position , setCursorColumn , setCursorPosition -- ** \'h...\' variants , hSetCursorColumn , hSetCursorPosition -- ** \'...Code\' variants , setCursorColumnCode , setCursorPositionCode -- * Saving, restoring and reporting cursor position -- -- | These code sequences are not part of ECMA-48 standard; they are popular, -- but non-portable extensions. E. g., Terminal.app on MacOS -- <https://stackoverflow.com/questions/25879183 does not support them>. -- A more portable way would be to query @terminfo@ database -- for @rc@ and @sc@ capabilities. -- -- Cursor positions -- <https://unix.stackexchange.com/questions/565597 are relative to the viewport, not to its content>. -- , saveCursor , restoreCursor , reportCursorPosition -- ** \'h...\' variants , hSaveCursor , hRestoreCursor , hReportCursorPosition -- ** \'...Code\' variants , saveCursorCode , restoreCursorCode , reportCursorPositionCode -- * Clearing parts of the screen -- -- | Note that these functions only clear parts of the screen. They do not -- move the cursor. Some functions are based on the whole screen and others -- are based on the line in which the cursor is located. , clearFromCursorToScreenEnd , clearFromCursorToScreenBeginning , clearScreen , clearFromCursorToLineEnd , clearFromCursorToLineBeginning , clearLine -- ** \'h...\' variants , hClearFromCursorToScreenEnd , hClearFromCursorToScreenBeginning , hClearScreen , hClearFromCursorToLineEnd , hClearFromCursorToLineBeginning , hClearLine -- ** \'...Code\' variants , clearFromCursorToScreenEndCode , clearFromCursorToScreenBeginningCode , clearScreenCode , clearFromCursorToLineEndCode , clearFromCursorToLineBeginningCode , clearLineCode -- * Enabling and disabling automatic line wrapping -- -- | These functions control whether or not characters automatically wrap to -- the next line when the cursor reaches the right border. , enableLineWrap , disableLineWrap -- ** \'h...\' variants , hEnableLineWrap , hDisableLineWrap -- ** \'...Code\' variants , enableLineWrapCode , disableLineWrapCode -- * Scrolling the screen , scrollPageUp , scrollPageDown -- ** \'h...\' variants , hScrollPageUp , hScrollPageDown -- ** \'...Code\' variants , scrollPageUpCode , scrollPageDownCode -- * Using screen buffers -- -- | These code sequences are not part of ECMA-48 standard; they are popular, -- but non-portable extensions, corresponding to @smcup@ and @rmcup@ capabilities -- in @terminfo@ database. -- On Windows, if emulation is required, switching between alternate and -- normal screen buffers is not emulated. , useAlternateScreenBuffer , useNormalScreenBuffer -- ** \'h...\' variants , hUseAlternateScreenBuffer , hUseNormalScreenBuffer -- ** \'...Code\' variants , useAlternateScreenBufferCode , useNormalScreenBufferCode -- * Reporting the background or foreground colors , reportLayerColor , hReportLayerColor , reportLayerColorCode -- * Select Graphic Rendition mode: colors and other whizzy stuff , setSGR , hSetSGR , setSGRCode -- * Cursor visibilty changes -- -- | Strictly speaking, these code sequences are not part of ECMA-48 standard; -- they are popular, but non-portable extensions. However, in practice they seem -- to work pretty much everywhere. , hideCursor , showCursor -- ** \'h...\' variants , hHideCursor , hShowCursor -- ** \'...Code\' variants , hideCursorCode , showCursorCode -- * Hyperlinks -- -- | These code sequences are not part of ECMA-48 standard and not even an -- @xterm@ extension. Nevertheless -- <https://gist.github.com/egmontkob/eb114294efbcd5adb1944c9f3cb5feda many terminals> -- support them. On Windows, if emulation is required, -- hyperlinks are not emulated. , hyperlink , hyperlinkWithId , hyperlinkWithParams -- ** \'h...\' variants , hHyperlink , hHyperlinkWithId , hHyperlinkWithParams -- ** \'...Code\' variants , hyperlinkCode , hyperlinkWithIdCode , hyperlinkWithParamsCode -- * Changing the title , setTitle , hSetTitle , setTitleCode -- * Checking if handle supports ANSI (not portable: GHC only) , hSupportsANSI , hNowSupportsANSI , hSupportsANSIColor -- * Getting the cursor position , getCursorPosition , hGetCursorPosition , getReportedCursorPosition , cursorPosition -- * Getting the terminal size , getTerminalSize , hGetTerminalSize -- * Getting the background or foreground colors , getLayerColor , hGetLayerColor , getReportedLayerColor , layerColor -- * Deprecated , hSupportsANSIWithoutEmulation ) where import Control.Exception.Base ( bracket ) import Control.Monad ( when, void ) import Data.Char ( digitToInt, isDigit, isHexDigit ) import Data.Colour.SRGB ( RGB (..) ) import Data.Word ( Word16 ) import System.IO ( BufferMode (..), Handle, hFlush, hGetBuffering, hGetEcho, hPutStr , hReady, hSetBuffering, hSetEcho, stdin, stdout ) import Text.ParserCombinators.ReadP ( ReadP, (<++), char, many1, readP_to_S, satisfy, string ) import System.Console.ANSI.Codes import qualified System.Console.ANSI.Internal as Internal import System.Console.ANSI.Types hCursorUp, hCursorDown, hCursorForward, hCursorBackward :: Handle -> Int -- Number of lines or characters to move -> IO () hCursorUp :: Handle -> Int -> IO () hCursorUp Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String cursorUpCode Int n hCursorDown :: Handle -> Int -> IO () hCursorDown Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String cursorDownCode Int n hCursorForward :: Handle -> Int -> IO () hCursorForward Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String cursorForwardCode Int n hCursorBackward :: Handle -> Int -> IO () hCursorBackward Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String cursorBackwardCode Int n cursorUp, cursorDown, cursorForward, cursorBackward :: Int -- ^ Number of lines or characters to move -> IO () cursorUp :: Int -> IO () cursorUp = Handle -> Int -> IO () hCursorUp Handle stdout cursorDown :: Int -> IO () cursorDown = Handle -> Int -> IO () hCursorDown Handle stdout cursorForward :: Int -> IO () cursorForward = Handle -> Int -> IO () hCursorForward Handle stdout cursorBackward :: Int -> IO () cursorBackward = Handle -> Int -> IO () hCursorBackward Handle stdout hCursorDownLine, hCursorUpLine :: Handle -> Int -- Number of lines to move -> IO () hCursorDownLine :: Handle -> Int -> IO () hCursorDownLine Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String cursorDownLineCode Int n hCursorUpLine :: Handle -> Int -> IO () hCursorUpLine Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String cursorUpLineCode Int n cursorDownLine, cursorUpLine :: Int -- ^ Number of lines to move -> IO () cursorDownLine :: Int -> IO () cursorDownLine = Handle -> Int -> IO () hCursorDownLine Handle stdout cursorUpLine :: Int -> IO () cursorUpLine = Handle -> Int -> IO () hCursorUpLine Handle stdout hSetCursorColumn :: Handle -> Int -- 0-based column to move to -> IO () hSetCursorColumn :: Handle -> Int -> IO () hSetCursorColumn Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String setCursorColumnCode Int n -- | Move the cursor to the specified column. The column numbering is 0-based -- (that is, the left-most column is numbered 0). setCursorColumn :: Int -- ^ 0-based column to move to -> IO () setCursorColumn :: Int -> IO () setCursorColumn = Handle -> Int -> IO () hSetCursorColumn Handle stdout hSetCursorPosition :: Handle -> Int -- 0-based row to move to -> Int -- 0-based column to move to -> IO () hSetCursorPosition :: Handle -> Int -> Int -> IO () hSetCursorPosition Handle h Int n Int m = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> Int -> String setCursorPositionCode Int n Int m -- | Move the cursor to the specified position (row and column). The position is -- 0-based (that is, the top-left corner is at row 0 column 0). setCursorPosition :: Int -- ^ 0-based row to move to -> Int -- ^ 0-based column to move to -> IO () setCursorPosition :: Int -> Int -> IO () setCursorPosition = Handle -> Int -> Int -> IO () hSetCursorPosition Handle stdout hSaveCursor, hRestoreCursor, hReportCursorPosition :: Handle -> IO () hSaveCursor :: Handle -> IO () hSaveCursor Handle h = Handle -> String -> IO () hPutStr Handle h String saveCursorCode hRestoreCursor :: Handle -> IO () hRestoreCursor Handle h = Handle -> String -> IO () hPutStr Handle h String restoreCursorCode hReportCursorPosition :: Handle -> IO () hReportCursorPosition Handle h = Handle -> String -> IO () hPutStr Handle h String reportCursorPositionCode -- | Save the cursor position in memory. The only way to access the saved value -- is with the 'restoreCursor' command. -- -- @since 0.7.1 saveCursor :: IO () saveCursor :: IO () saveCursor = Handle -> IO () hSaveCursor Handle stdout -- | Restore the cursor position from memory. There will be no value saved in -- memory until the first use of the 'saveCursor' command. -- -- @since 0.7.1 restoreCursor :: IO () restoreCursor :: IO () restoreCursor = Handle -> IO () hRestoreCursor Handle stdout -- | Looking for a way to get the cursors position? See -- 'getCursorPosition'. -- -- Emit the cursor position into the console input stream, immediately after -- being recognised on the output stream, as: -- @ESC [ \<cursor row> ; \<cursor column> R@ -- -- Note that the information that is emitted is 1-based (the top-left corner is -- at row 1 column 1) but 'setCursorColumn' and 'setCursorPosition' are -- 0-based. -- -- In isolation of 'getReportedCursorPosition' or 'getCursorPosition', this -- function may be of limited use on Windows operating systems because of -- difficulties in obtaining the data emitted into the console input stream. -- -- @since 0.7.1 reportCursorPosition :: IO () reportCursorPosition :: IO () reportCursorPosition = Handle -> IO () hReportCursorPosition Handle stdout hHideCursor, hShowCursor :: Handle -> IO () hHideCursor :: Handle -> IO () hHideCursor Handle h = Handle -> String -> IO () hPutStr Handle h String hideCursorCode hShowCursor :: Handle -> IO () hShowCursor Handle h = Handle -> String -> IO () hPutStr Handle h String showCursorCode hideCursor, showCursor :: IO () hideCursor :: IO () hideCursor = Handle -> IO () hHideCursor Handle stdout showCursor :: IO () showCursor = Handle -> IO () hShowCursor Handle stdout hUseAlternateScreenBuffer :: Handle -> IO () hUseAlternateScreenBuffer :: Handle -> IO () hUseAlternateScreenBuffer Handle h = Handle -> String -> IO () hPutStr Handle h String useAlternateScreenBufferCode hUseNormalScreenBuffer :: Handle -> IO () hUseNormalScreenBuffer :: Handle -> IO () hUseNormalScreenBuffer Handle h = Handle -> String -> IO () hPutStr Handle h String useNormalScreenBufferCode -- | Use the Alternate Screen Buffer. If currently using the Normal Screen -- Buffer, it will save the cursor position and switch to the Alternate Screen -- Buffer. It will always clear the Alternate Screen Buffer. The Alternate -- Screen Buffer has no scroll back facility. -- -- It is an application's responsibility to ensure that it switches back to the -- Normal Screen Buffer if an exception is raised while the Alternate Screen -- Buffer is being used. For example, by using 'Control.Exception.bracket_': -- -- > bracket_ useAlternateScreenBuffer useNormalScreenBuffer action -- -- @since 0.11.4 useAlternateScreenBuffer :: IO () useAlternateScreenBuffer :: IO () useAlternateScreenBuffer = Handle -> IO () hUseAlternateScreenBuffer Handle stdout -- | Use the Normal Screen Buffer. If currently using the Alternate Screen -- Buffer, it will clear the Alternate Screen Buffer, and switch to the Normal -- Screen Buffer. It will always restore the saved cursor position. -- -- @since 0.11.4 useNormalScreenBuffer :: IO () useNormalScreenBuffer :: IO () useNormalScreenBuffer = Handle -> IO () hUseNormalScreenBuffer Handle stdout -- Introduce a hyperlink with (key, value) parameters. Some terminals support -- an @id@ parameter key, so that hyperlinks with the same @id@ value are -- treated as connected. -- -- @since 0.11.3 hHyperlinkWithParams:: Handle -> [(String, String)] -- Parameters -> String -- URI -> String -- Link text -> IO () hHyperlinkWithParams :: Handle -> [(String, String)] -> String -> String -> IO () hHyperlinkWithParams Handle h [(String, String)] params String uri String link = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ [(String, String)] -> String -> String -> String hyperlinkWithParamsCode [(String, String)] params String uri String link -- | Introduce a hyperlink with (key, value) parameters. Some terminals support -- an @id@ parameter key, so that hyperlinks with the same @id@ value are -- treated as connected. -- -- @since 0.11.3 hyperlinkWithParams :: [(String, String)] -- ^ Parameters -> String -- ^ URI -> String -- ^ Link text -> IO () hyperlinkWithParams :: [(String, String)] -> String -> String -> IO () hyperlinkWithParams = Handle -> [(String, String)] -> String -> String -> IO () hHyperlinkWithParams Handle stdout -- Introduce a hyperlink. -- -- @since 0.11.3 hHyperlink :: Handle -> String -- URI -> String -- Link text -> IO () hHyperlink :: Handle -> String -> String -> IO () hHyperlink Handle h = Handle -> [(String, String)] -> String -> String -> IO () hHyperlinkWithParams Handle h [] -- | Introduce a hyperlink. -- -- @since 0.11.3 hyperlink :: String -- ^ URI -> String -- ^ Link text -> IO () hyperlink :: String -> String -> IO () hyperlink = Handle -> String -> String -> IO () hHyperlink Handle stdout -- Introduce a hyperlink with an identifier for the link. Some terminals -- support an identifier, so that hyperlinks with the same identifier are -- treated as connected. -- -- @since 0.11.3 hHyperlinkWithId :: Handle -> String -- Identifier for the link -> String -- URI -> String -- Link text -> IO () hHyperlinkWithId :: Handle -> String -> String -> String -> IO () hHyperlinkWithId Handle h String linkId = Handle -> [(String, String)] -> String -> String -> IO () hHyperlinkWithParams Handle h [(String "id", String linkId)] -- | Introduce a hyperlink with an identifier for the link. Some terminals -- support an identifier, so that hyperlinks with the same identifier are -- treated as connected. -- -- @since 0.11.3 hyperlinkWithId :: String -- ^ Identifier for the link -> String -- ^ URI -> String -- ^ Link text -> IO () hyperlinkWithId :: String -> String -> String -> IO () hyperlinkWithId = Handle -> String -> String -> String -> IO () hHyperlinkWithId Handle stdout -- Set the terminal window title and icon name (that is, the text for the -- window in the Start bar, or similar). hSetTitle :: Handle -> String -- New window title and icon name -> IO () hSetTitle :: Handle -> String -> IO () hSetTitle Handle h String title = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ String -> String setTitleCode String title -- | Set the terminal window title and icon name (that is, the text for the -- window in the Start bar, or similar). setTitle :: String -- ^ New window title and icon name -> IO () setTitle :: String -> IO () setTitle = Handle -> String -> IO () hSetTitle Handle stdout -- | Use heuristics to determine whether the functions defined in this package -- will work with a given handle. -- -- If the handle is not writable (that is, it cannot manage output - see -- 'System.IO.hIsWritable'), then @pure False@ is returned. -- -- For Unix-like operating systems, the current implementation checks -- that: (1) the handle is a terminal; and (2) a @TERM@ environment variable is -- not set to @dumb@ (which is what the GNU Emacs text editor sets for its -- integrated terminal). -- -- For Windows, the current implementation checks: first that (1) the handle is -- a terminal, (2) a @TERM@ environment variable is not set to @dumb@, and (3) -- the processing of \'ANSI\' control characters in output is enabled; and -- second, as an alternative, whether the handle is connected to a \'mintty\' -- terminal. (That is because the function 'System.IO.hIsTerminalDevice' is used -- to check if the handle is a terminal. However, where a non-native Windows -- terminal (such as \'mintty\') is implemented using redirection, that function -- will not identify a handle to the terminal as a terminal.) If it is not -- already enabled, this function does *not* enable the processing of \'ANSI\' -- control characters in output (see 'hNowSupportsANSI'). -- -- @since 0.6.2 hSupportsANSI :: Handle -> IO Bool hSupportsANSI :: Handle -> IO Bool hSupportsANSI = Handle -> IO Bool Internal.hSupportsANSI -- | With one exception, equivalent to 'hSupportsANSI'. The exception is that, -- on Windows only, if a @TERM@ environment variable is not set to @dumb@ and -- the processing of \'ANSI\' control characters in output is not enabled, this -- function first tries to enable such processing. -- -- @Since 1.0.1 hNowSupportsANSI :: Handle -> IO Bool hNowSupportsANSI :: Handle -> IO Bool hNowSupportsANSI = Handle -> IO Bool Internal.hNowSupportsANSI -- | Some terminals (e.g. Emacs) are not fully ANSI compliant but can support -- ANSI colors. This can be used in such cases, if colors are all that is -- needed. -- -- @since 0.9 hSupportsANSIColor :: Handle -> IO Bool hSupportsANSIColor :: Handle -> IO Bool hSupportsANSIColor = Handle -> IO Bool Internal.hSupportsANSIColor -- | Use heuristics to determine whether a given handle will support \'ANSI\' -- control characters in output. The function is consistent with -- 'hNowSupportsANSI'. -- -- This function is deprecated as, from version 1.0, the package no longer -- supports legacy versions of Windows that required emulation. -- -- @since 0.8.1 {-# DEPRECATED hSupportsANSIWithoutEmulation "See Haddock documentation and hNowSupportsANSI." #-} hSupportsANSIWithoutEmulation :: Handle -> IO (Maybe Bool) hSupportsANSIWithoutEmulation :: Handle -> IO (Maybe Bool) hSupportsANSIWithoutEmulation Handle h = Bool -> Maybe Bool forall a. a -> Maybe a Just (Bool -> Maybe Bool) -> IO Bool -> IO (Maybe Bool) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> Handle -> IO Bool hNowSupportsANSI Handle h -- | Parses the characters emitted by 'reportCursorPosition' into the console -- input stream. Returns the cursor row and column as a tuple. -- -- For example, if the characters emitted by 'reportCursorPosition' are in -- 'String' @input@ then the parser could be applied like this: -- -- > let result = readP_to_S cursorPosition input -- > case result of -- > [] -> putStrLn $ "Error: could not parse " ++ show input -- > [((row, column), _)] -> putStrLn $ "The cursor was at row " ++ show row -- > ++ " and column" ++ show column ++ "." -- > (_:_) -> putStrLn $ "Error: parse not unique" -- -- @since 0.7.1 cursorPosition :: ReadP (Int, Int) cursorPosition :: ReadP (Int, Int) cursorPosition = do ReadP Char -> ReadP () forall (f :: * -> *) a. Functor f => f a -> f () void (ReadP Char -> ReadP ()) -> ReadP Char -> ReadP () forall a b. (a -> b) -> a -> b $ Char -> ReadP Char char Char '\ESC' ReadP Char -> ReadP () forall (f :: * -> *) a. Functor f => f a -> f () void (ReadP Char -> ReadP ()) -> ReadP Char -> ReadP () forall a b. (a -> b) -> a -> b $ Char -> ReadP Char char Char '[' row <- ReadP String decimal -- A non-negative whole decimal number void $ char ';' col <- decimal -- A non-negative whole decimal number void $ char 'R' pure (read row, read col) where digit :: ReadP Char digit = (Char -> Bool) -> ReadP Char satisfy Char -> Bool isDigit decimal :: ReadP String decimal = ReadP Char -> ReadP String forall a. ReadP a -> ReadP [a] many1 ReadP Char digit -- | Attempts to get the reported cursor position data from the console input -- stream. The function is intended to be called immediately after -- 'reportCursorPosition' (or related functions) have caused characters to be -- emitted into the stream. -- -- For example, on a Unix-like operating system: -- -- > -- set no buffering (if 'no buffering' is not already set, the contents of -- > -- the buffer will be discarded, so this needs to be done before the cursor -- > -- positon is emitted) -- > hSetBuffering stdin NoBuffering -- > -- ensure that echoing is off -- > input <- bracket (hGetEcho stdin) (hSetEcho stdin) $ \_ -> do -- > hSetEcho stdin False -- > reportCursorPosition -- > hFlush stdout -- ensure the report cursor position code is sent to the -- > -- operating system -- > getReportedCursorPosition -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) -- -- @since 0.7.1 getReportedCursorPosition :: IO String getReportedCursorPosition :: IO String getReportedCursorPosition = IO String Internal.getReportedCursorPosition -- | Attempts to get the reported cursor position, combining the functions -- 'reportCursorPosition', 'getReportedCursorPosition' and 'cursorPosition'. Any -- position @(row, column)@ is translated to be 0-based (that is, the top-left -- corner is at @(0, 0)@), consistent with `setCursorColumn` and -- `setCursorPosition`. (Note that the information emitted into the console -- input stream by 'reportCursorPosition' is 1-based.) Returns 'Nothing' if any -- data emitted by 'reportCursorPosition', obtained by -- 'getReportedCursorPosition', cannot be parsed by 'cursorPosition'. Uses -- 'stdout'. If 'stdout' will be redirected, see 'hGetCursorPosition' for a more -- general function. -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) -- -- @since 0.10.3 getCursorPosition :: IO (Maybe (Int, Int)) getCursorPosition :: IO (Maybe (Int, Int)) getCursorPosition = Handle -> IO (Maybe (Int, Int)) hGetCursorPosition Handle stdout -- | Attempts to get the reported cursor position, combining the functions -- 'hReportCursorPosition' (with the specified handle), -- 'getReportedCursorPosition' and 'cursorPosition'. Any position -- @(row, column)@ is translated to be 0-based (that is, the top-left corner is -- at @(0, 0)@), consistent with 'hSetCursorColumn' and 'hSetCursorPosition'. -- (Note that the information emitted into the console input stream by -- 'hReportCursorPosition' is 1-based.) Returns 'Nothing' if any data emitted by -- 'hReportCursorPosition', obtained by 'getReportedCursorPosition', cannot be -- parsed by 'cursorPosition'. -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) -- -- @since 0.10.1 hGetCursorPosition :: Handle -> IO (Maybe (Int, Int)) hGetCursorPosition :: Handle -> IO (Maybe (Int, Int)) hGetCursorPosition Handle h = ((Int, Int) -> (Int, Int)) -> Maybe (Int, Int) -> Maybe (Int, Int) forall a b. (a -> b) -> Maybe a -> Maybe b forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b fmap (Int, Int) -> (Int, Int) forall {a} {b}. (Num a, Num b) => (a, b) -> (a, b) to0base (Maybe (Int, Int) -> Maybe (Int, Int)) -> IO (Maybe (Int, Int)) -> IO (Maybe (Int, Int)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> IO (Maybe (Int, Int)) getCursorPosition' where to0base :: (a, b) -> (a, b) to0base (a row, b col) = (a row a -> a -> a forall a. Num a => a -> a -> a - a 1, b col b -> b -> b forall a. Num a => a -> a -> a - b 1) getCursorPosition' :: IO (Maybe (Int, Int)) getCursorPosition' = do input <- IO BufferMode -> (BufferMode -> IO ()) -> (BufferMode -> IO String) -> IO String forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c bracket (Handle -> IO BufferMode hGetBuffering Handle stdin) (Handle -> BufferMode -> IO () hSetBuffering Handle stdin) ((BufferMode -> IO String) -> IO String) -> (BufferMode -> IO String) -> IO String forall a b. (a -> b) -> a -> b $ \BufferMode _ -> do -- set no buffering (if 'no buffering' is not already set, the contents of -- the buffer will be discarded, so this needs to be done before the -- cursor positon is emitted) Handle -> BufferMode -> IO () hSetBuffering Handle stdin BufferMode NoBuffering -- ensure that echoing is off IO Bool -> (Bool -> IO ()) -> (Bool -> IO String) -> IO String forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c bracket (Handle -> IO Bool hGetEcho Handle stdin) (Handle -> Bool -> IO () hSetEcho Handle stdin) ((Bool -> IO String) -> IO String) -> (Bool -> IO String) -> IO String forall a b. (a -> b) -> a -> b $ \Bool _ -> do Handle -> Bool -> IO () hSetEcho Handle stdin Bool False IO () clearStdin Handle -> IO () hReportCursorPosition Handle h Handle -> IO () hFlush Handle h -- ensure the report cursor position code is sent to the -- operating system IO String getReportedCursorPosition case readP_to_S cursorPosition input of [] -> Maybe (Int, Int) -> IO (Maybe (Int, Int)) forall a. a -> IO a forall (f :: * -> *) a. Applicative f => a -> f a pure Maybe (Int, Int) forall a. Maybe a Nothing [((Int row, Int col),String _)] -> Maybe (Int, Int) -> IO (Maybe (Int, Int)) forall a. a -> IO a forall (f :: * -> *) a. Applicative f => a -> f a pure (Maybe (Int, Int) -> IO (Maybe (Int, Int))) -> Maybe (Int, Int) -> IO (Maybe (Int, Int)) forall a b. (a -> b) -> a -> b $ (Int, Int) -> Maybe (Int, Int) forall a. a -> Maybe a Just (Int row, Int col) (((Int, Int), String) _:[((Int, Int), String)] _) -> Maybe (Int, Int) -> IO (Maybe (Int, Int)) forall a. a -> IO a forall (f :: * -> *) a. Applicative f => a -> f a pure Maybe (Int, Int) forall a. Maybe a Nothing clearStdin :: IO () clearStdin = do isReady <- Handle -> IO Bool hReady Handle stdin when isReady $ do _ <-getChar clearStdin -- | Looking for a way to get layer colors? See 'getLayerColor'. -- -- Emit the layerColor into the console input stream, immediately after -- being recognised on the output stream, as: -- @ESC ] \<Ps> ; rgb: \<red> ; \<green> ; \<blue> \<ST>@ -- where @\<Ps>@ is @10@ for 'Foreground' and @11@ for 'Background'; @\<red>@, -- @\<green>@ and @\<blue>@ are the color channel values in hexadecimal (4, 8, -- 12 and 16 bit values are possible, although 16 bit values are most common); -- and @\<ST>@ is the STRING TERMINATOR (ST). ST depends on the terminal -- software and may be the @BEL@ character or @ESC \\@ characters. -- -- This function may be of limited, or no, use on Windows operating systems -- because (1) the function is not supported on native terminals and is -- emulated, but the emulation does not work on Windows Terminal and (2) of -- difficulties in obtaining the data emitted into the console input stream. -- -- Underlining is not supported. -- -- @since 0.11.4 reportLayerColor :: ConsoleLayer -> IO () reportLayerColor :: ConsoleLayer -> IO () reportLayerColor = Handle -> ConsoleLayer -> IO () hReportLayerColor Handle stdout -- @since 0.11.4 hReportLayerColor :: Handle -> ConsoleLayer -> IO () hReportLayerColor :: Handle -> ConsoleLayer -> IO () hReportLayerColor Handle h ConsoleLayer layer = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ ConsoleLayer -> String reportLayerColorCode ConsoleLayer layer -- | Attempts to get the reported layer color data from the console input -- stream. The function is intended to be called immediately after -- 'reportLayerColor' (or related functions) have caused characters to be -- emitted into the stream. -- -- For example, on a Unix-like operating system: -- -- > -- set no buffering (if 'no buffering' is not already set, the contents of -- > -- the buffer will be discarded, so this needs to be done before the cursor -- > -- positon is emitted) -- > hSetBuffering stdin NoBuffering -- > -- ensure that echoing is off -- > input <- bracket (hGetEcho stdin) (hSetEcho stdin) $ \_ -> do -- > hSetEcho stdin False -- > reportLayerColor Foreground -- > hFlush stdout -- ensure the report cursor position code is sent to the -- > -- operating system -- > getReportedLayerColor Foreground -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) -- -- Underlining is not supported. -- -- @since 0.11.4 getReportedLayerColor :: ConsoleLayer -> IO String getReportedLayerColor :: ConsoleLayer -> IO String getReportedLayerColor = ConsoleLayer -> IO String Internal.getReportedLayerColor -- | Attempts to get the reported layer color, combining the functions -- 'reportLayerColor', 'getReportedLayerColor' and 'layerColor'. Any RGB color -- is scaled to be 16 bits per channel, the most common format reported by -- terminal software. Returns 'Nothing' if any data emitted by -- 'reportLayerColor', obtained by 'getReportedLayerColor', cannot be parsed by -- 'layerColor'. Uses 'stdout'. If 'stdout' will be redirected, see -- 'hGetLayerColor' for a more general function. -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) This function also relies on -- emulation that does not work on Windows Terminal. -- -- Underlining is not supported. -- -- @since 0.11.4 getLayerColor :: ConsoleLayer -> IO (Maybe(RGB Word16)) getLayerColor :: ConsoleLayer -> IO (Maybe (RGB Word16)) getLayerColor = Handle -> ConsoleLayer -> IO (Maybe (RGB Word16)) hGetLayerColor Handle stdout -- | Attempts to get the reported layer color, combining the functions -- 'hReportLayerColor', 'getReportedLayerColor' and 'layerColor'. Any RGB color -- is scaled to be 16 bits per channel, the most common format reported by -- terminal software. Returns 'Nothing' if any data emitted by -- 'hReportLayerColor', obtained by 'getReportedLayerColor', cannot be parsed by -- 'layerColor'. -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) This function also relies on -- emulation that does not work on Windows Terminal. -- -- Underlining is not supported. -- -- @since 0.11.4 hGetLayerColor :: Handle -> ConsoleLayer -> IO (Maybe (RGB Word16)) hGetLayerColor :: Handle -> ConsoleLayer -> IO (Maybe (RGB Word16)) hGetLayerColor Handle h ConsoleLayer layer = do input <- IO BufferMode -> (BufferMode -> IO ()) -> (BufferMode -> IO String) -> IO String forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c bracket (Handle -> IO BufferMode hGetBuffering Handle stdin) (Handle -> BufferMode -> IO () hSetBuffering Handle stdin) ((BufferMode -> IO String) -> IO String) -> (BufferMode -> IO String) -> IO String forall a b. (a -> b) -> a -> b $ \BufferMode _ -> do -- set no buffering (if 'no buffering' is not already set, the contents of -- the buffer will be discarded, so this needs to be done before the -- cursor positon is emitted) Handle -> BufferMode -> IO () hSetBuffering Handle stdin BufferMode NoBuffering -- ensure that echoing is off IO Bool -> (Bool -> IO ()) -> (Bool -> IO String) -> IO String forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c bracket (Handle -> IO Bool hGetEcho Handle stdin) (Handle -> Bool -> IO () hSetEcho Handle stdin) ((Bool -> IO String) -> IO String) -> (Bool -> IO String) -> IO String forall a b. (a -> b) -> a -> b $ \Bool _ -> do Handle -> Bool -> IO () hSetEcho Handle stdin Bool False IO () clearStdin Handle -> ConsoleLayer -> IO () hReportLayerColor Handle h ConsoleLayer layer Handle -> IO () hFlush Handle h -- ensure the report cursor position code is sent to the -- operating system ConsoleLayer -> IO String getReportedLayerColor ConsoleLayer layer case readP_to_S (layerColor layer) input of [] -> Maybe (RGB Word16) -> IO (Maybe (RGB Word16)) forall a. a -> IO a forall (f :: * -> *) a. Applicative f => a -> f a pure Maybe (RGB Word16) forall a. Maybe a Nothing [(RGB Word16 col, String _)] -> Maybe (RGB Word16) -> IO (Maybe (RGB Word16)) forall a. a -> IO a forall (f :: * -> *) a. Applicative f => a -> f a pure (Maybe (RGB Word16) -> IO (Maybe (RGB Word16))) -> Maybe (RGB Word16) -> IO (Maybe (RGB Word16)) forall a b. (a -> b) -> a -> b $ RGB Word16 -> Maybe (RGB Word16) forall a. a -> Maybe a Just RGB Word16 col ((RGB Word16, String) _:[(RGB Word16, String)] _) -> Maybe (RGB Word16) -> IO (Maybe (RGB Word16)) forall a. a -> IO a forall (f :: * -> *) a. Applicative f => a -> f a pure Maybe (RGB Word16) forall a. Maybe a Nothing where clearStdin :: IO () clearStdin = do isReady <- Handle -> IO Bool hReady Handle stdin when isReady $ do _ <-getChar clearStdin -- | Parses the characters emitted by 'reportLayerColor' into the console input -- stream. -- -- For example, if the characters emitted by 'reportLayerColor' are in 'String' -- @input@ then the parser could be applied like this: -- -- > let result = readP_to_S (layerColor layer) input -- > case result of -- > [] -> putStrLn $ "Error: could not parse " ++ show input -- > [(col, _)] -> putStrLn $ "The color was " ++ show col ++ "." -- > (_:_) -> putStrLn $ "Error: parse not unique" -- -- Underlining is not supported. -- -- @since 0.11.4 layerColor :: ConsoleLayer -> ReadP (RGB Word16) layerColor :: ConsoleLayer -> ReadP (RGB Word16) layerColor ConsoleLayer layer = do ReadP String -> ReadP () forall (f :: * -> *) a. Functor f => f a -> f () void (ReadP String -> ReadP ()) -> ReadP String -> ReadP () forall a b. (a -> b) -> a -> b $ String -> ReadP String string String "\ESC]" ReadP String -> ReadP () forall (f :: * -> *) a. Functor f => f a -> f () void (ReadP String -> ReadP ()) -> ReadP String -> ReadP () forall a b. (a -> b) -> a -> b $ String -> ReadP String string (String -> ReadP String) -> String -> ReadP String forall a b. (a -> b) -> a -> b $ case ConsoleLayer layer of ConsoleLayer Foreground -> String "10" ConsoleLayer Background -> String "11" ConsoleLayer Underlining -> String -> String forall a. String -> [a] forall (m :: * -> *) a. MonadFail m => String -> m a fail String "reportLayerColor does not support underlining" ReadP String -> ReadP () forall (f :: * -> *) a. Functor f => f a -> f () void (ReadP String -> ReadP ()) -> ReadP String -> ReadP () forall a b. (a -> b) -> a -> b $ String -> ReadP String string String ";rgb:" redHex <- ReadP String hexadecimal -- A non-negative whole hexadecimal number void $ char '/' greenHex <- hexadecimal -- A non-negative whole hexadecimal number void $ char '/' blueHex <- hexadecimal -- A non-negative whole hexadecimal number void $ string "\BEL" <++ string "\ESC\\" let lenRed = String -> Int forall a. [a] -> Int forall (t :: * -> *) a. Foldable t => t a -> Int length String redHex lenGreen = String -> Int forall a. [a] -> Int forall (t :: * -> *) a. Foldable t => t a -> Int length String greenHex lenBlue = String -> Int forall a. [a] -> Int forall (t :: * -> *) a. Foldable t => t a -> Int length String blueHex if lenRed == lenGreen && lenGreen == lenBlue then if lenRed == 0 || lenRed > 4 then fail "Color format not recognised" else let m = Int 16 Int -> Int -> Int forall a b. (Num a, Integral b) => a -> b -> a ^ (Int 4 Int -> Int -> Int forall a. Num a => a -> a -> a - Int lenRed) r = Int -> Word16 forall a b. (Integral a, Num b) => a -> b fromIntegral (Int -> Word16) -> Int -> Word16 forall a b. (a -> b) -> a -> b $ Int m Int -> Int -> Int forall a. Num a => a -> a -> a * String -> Int hexToInt String redHex g = Int -> Word16 forall a b. (Integral a, Num b) => a -> b fromIntegral (Int -> Word16) -> Int -> Word16 forall a b. (a -> b) -> a -> b $ Int m Int -> Int -> Int forall a. Num a => a -> a -> a * String -> Int hexToInt String greenHex b = Int -> Word16 forall a b. (Integral a, Num b) => a -> b fromIntegral (Int -> Word16) -> Int -> Word16 forall a b. (a -> b) -> a -> b $ Int m Int -> Int -> Int forall a. Num a => a -> a -> a * String -> Int hexToInt String blueHex in pure $ RGB r g b else fail "Color format not recognised" where hexDigit :: ReadP Char hexDigit = (Char -> Bool) -> ReadP Char satisfy Char -> Bool isHexDigit hexadecimal :: ReadP String hexadecimal = ReadP Char -> ReadP String forall a. ReadP a -> ReadP [a] many1 ReadP Char hexDigit hexToInt :: String -> Int hexToInt String hex = (Int -> Int -> Int) -> Int -> [Int] -> Int forall b a. (b -> a -> b) -> b -> [a] -> b forall (t :: * -> *) b a. Foldable t => (b -> a -> b) -> b -> t a -> b foldl (\Int d Int a -> Int d Int -> Int -> Int forall a. Num a => a -> a -> a * Int 16 Int -> Int -> Int forall a. Num a => a -> a -> a + Int a) Int 0 ((Char -> Int) -> String -> [Int] forall a b. (a -> b) -> [a] -> [b] map Char -> Int digitToInt String hex) -- | Attempts to get the current terminal size (height in rows, width in -- columns). -- -- There is no \'ANSI\' control character sequence that reports the terminal -- size. So, it attempts to set the cursor position beyond the bottom right -- corner of the terminal and then use 'getCursorPosition' to query the console -- input stream. It works only on terminals that support each step and if data -- can be emitted to 'stdin'. (Use 'System.IO.hIsTerminalDevice' to test if -- 'stdin' is connected to a terminal.) Uses 'stdout'. If 'stdout' will be -- redirected, see 'System.IO.hGetTerminalSize' for a more general function. -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on Windows' Console API. (Command Prompt and -- PowerShell are based on the Console API.) -- -- For a different approach, one that does not use control character sequences -- and works when 'stdin' is redirected, see the -- <https://hackage.haskell.org/package/terminal-size terminal-size> package. -- -- @since 0.9 getTerminalSize :: IO (Maybe (Int, Int)) getTerminalSize :: IO (Maybe (Int, Int)) getTerminalSize = Handle -> IO (Maybe (Int, Int)) hGetTerminalSize Handle stdout -- | Attempts to get the current terminal size (height in rows, width in -- columns), by writing control character sequences to the specified handle -- (which will typically be 'stdout' or 'System.IO.stderr'). -- -- There is no \'ANSI\' control character sequence that reports the terminal -- size. So, it attempts to set the cursor position beyond the bottom right -- corner of the terminal and then use 'hGetCursorPosition' to query the console -- input stream. It works only on terminals that support each step and if data -- can be emitted to 'stdin'. (Use 'System.IO.hIsTerminalDevice' to test if -- 'stdin' is connected to a terminal.) -- -- On Windows operating systems, the function is not supported on consoles, such -- as mintty, that are not based on the Windows' Console API. (Command Prompt -- and PowerShell are based on the Console API.) -- -- For a different approach, one that does not use control character sequences -- and works when 'stdin' is redirected, see the -- <https://hackage.haskell.org/package/terminal-size terminal-size> package. -- -- @since 0.10.1 hGetTerminalSize :: Handle -> IO (Maybe (Int, Int)) hGetTerminalSize :: Handle -> IO (Maybe (Int, Int)) hGetTerminalSize Handle h = do Handle -> IO () hSaveCursor Handle h Handle -> Int -> Int -> IO () hSetCursorPosition Handle h Int 9999 Int 9999 -- Attempt to set the cursor position beyond -- the bottom right corner of the terminal. mPos <- Handle -> IO (Maybe (Int, Int)) hGetCursorPosition Handle h hRestoreCursor h hFlush h -- ensure the restore cursor position code is sent to the -- operating system pure $ fmap (\(Int r, Int c) -> (Int r Int -> Int -> Int forall a. Num a => a -> a -> a + Int 1, Int c Int -> Int -> Int forall a. Num a => a -> a -> a + Int 1)) mPos -- Set the Select Graphic Rendition mode hSetSGR :: Handle -> [SGR] -- Commands: these will typically be applied on top of the -- current console SGR mode. An empty list of commands is -- equivalent to the list @[Reset]@. Commands are applied left to -- right. -> IO () hSetSGR :: Handle -> [SGR] -> IO () hSetSGR Handle h [SGR] sgrs = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ [SGR] -> String setSGRCode [SGR] sgrs -- | Set the Select Graphic Rendition mode setSGR :: [SGR] -- ^ Commands: these will typically be applied on top of the -- current console SGR mode. An empty list of commands is -- equivalent to the list @[Reset]@. Commands are applied left to -- right. -> IO () setSGR :: [SGR] -> IO () setSGR = Handle -> [SGR] -> IO () hSetSGR Handle stdout hClearFromCursorToScreenEnd, hClearFromCursorToScreenBeginning, hClearScreen :: Handle -> IO () hClearFromCursorToScreenEnd :: Handle -> IO () hClearFromCursorToScreenEnd Handle h = Handle -> String -> IO () hPutStr Handle h String clearFromCursorToScreenEndCode hClearFromCursorToScreenBeginning :: Handle -> IO () hClearFromCursorToScreenBeginning Handle h = Handle -> String -> IO () hPutStr Handle h String clearFromCursorToScreenBeginningCode hClearScreen :: Handle -> IO () hClearScreen Handle h = Handle -> String -> IO () hPutStr Handle h String clearScreenCode clearFromCursorToScreenEnd, clearFromCursorToScreenBeginning, clearScreen :: IO () clearFromCursorToScreenEnd :: IO () clearFromCursorToScreenEnd = Handle -> IO () hClearFromCursorToScreenEnd Handle stdout clearFromCursorToScreenBeginning :: IO () clearFromCursorToScreenBeginning = Handle -> IO () hClearFromCursorToScreenBeginning Handle stdout clearScreen :: IO () clearScreen = Handle -> IO () hClearScreen Handle stdout hClearFromCursorToLineEnd, hClearFromCursorToLineBeginning, hClearLine :: Handle -> IO () hClearFromCursorToLineEnd :: Handle -> IO () hClearFromCursorToLineEnd Handle h = Handle -> String -> IO () hPutStr Handle h String clearFromCursorToLineEndCode hClearFromCursorToLineBeginning :: Handle -> IO () hClearFromCursorToLineBeginning Handle h = Handle -> String -> IO () hPutStr Handle h String clearFromCursorToLineBeginningCode hClearLine :: Handle -> IO () hClearLine Handle h = Handle -> String -> IO () hPutStr Handle h String clearLineCode clearFromCursorToLineEnd, clearFromCursorToLineBeginning, clearLine :: IO () clearFromCursorToLineEnd :: IO () clearFromCursorToLineEnd = Handle -> IO () hClearFromCursorToLineEnd Handle stdout clearFromCursorToLineBeginning :: IO () clearFromCursorToLineBeginning = Handle -> IO () hClearFromCursorToLineBeginning Handle stdout clearLine :: IO () clearLine = Handle -> IO () hClearLine Handle stdout hEnableLineWrap, hDisableLineWrap :: Handle -> IO () hEnableLineWrap :: Handle -> IO () hEnableLineWrap Handle h = Handle -> String -> IO () hPutStr Handle h String enableLineWrapCode hDisableLineWrap :: Handle -> IO () hDisableLineWrap Handle h = Handle -> String -> IO () hPutStr Handle h String disableLineWrapCode enableLineWrap, disableLineWrap :: IO () enableLineWrap :: IO () enableLineWrap = Handle -> IO () hEnableLineWrap Handle stdout disableLineWrap :: IO () disableLineWrap = Handle -> IO () hDisableLineWrap Handle stdout hScrollPageUp, hScrollPageDown :: Handle -> Int -- Number of lines to scroll by -> IO () hScrollPageUp :: Handle -> Int -> IO () hScrollPageUp Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String scrollPageUpCode Int n hScrollPageDown :: Handle -> Int -> IO () hScrollPageDown Handle h Int n = Handle -> String -> IO () hPutStr Handle h (String -> IO ()) -> String -> IO () forall a b. (a -> b) -> a -> b $ Int -> String scrollPageDownCode Int n scrollPageUp, scrollPageDown :: Int -- ^ Number of lines to scroll by -> IO () scrollPageUp :: Int -> IO () scrollPageUp = Handle -> Int -> IO () hScrollPageUp Handle stdout scrollPageDown :: Int -> IO () scrollPageDown = Handle -> Int -> IO () hScrollPageDown Handle stdout