{-# 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 both foreground and background colors

 * Clearing parts of a line or the screen

 * Hiding or showing the cursor

 * Moving the cursor around

 * Reporting the position of the cursor

 * 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 '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

    -- * 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.Environment ( getEnvironment )
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

-- '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 '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
h = Bool -> Bool -> Bool
(||) (Bool -> Bool -> Bool) -> IO Bool -> IO (Bool -> Bool)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Handle -> IO Bool
hSupportsANSI Handle
h IO (Bool -> Bool) -> IO Bool -> IO Bool
forall a b. IO (a -> b) -> IO a -> IO b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> IO Bool
isEmacsTerm
  where
    isEmacsTerm :: IO Bool
isEmacsTerm = (\[(String, String)]
env -> [(String, String)] -> Bool
forall {b}. [(String, b)] -> Bool
insideEmacs [(String, String)]
env Bool -> Bool -> Bool
&& [(String, String)] -> Bool
isDumb [(String, String)]
env) ([(String, String)] -> Bool) -> IO [(String, String)] -> IO Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> IO [(String, String)]
getEnvironment
    insideEmacs :: [(String, b)] -> Bool
insideEmacs = ((String, b) -> Bool) -> [(String, b)] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any (\(String
k, b
_) -> String
k String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"INSIDE_EMACS")
    isDumb :: [(String, String)] -> Bool
isDumb [(String, String)]
env = String -> Maybe String
forall a. a -> Maybe a
Just String
"dumb" Maybe String -> Maybe String -> Bool
forall a. Eq a => a -> a -> Bool
== String -> [(String, String)] -> Maybe String
forall a b. Eq a => a -> [(a, b)] -> Maybe b
lookup String
"TERM" [(String, String)]
env

-- | 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
'['
  String
row <- ReadP String
decimal -- A non-negative whole decimal number

  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
';'
  String
col <- ReadP String
decimal -- A non-negative whole decimal number

  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
'R'
  (Int, Int) -> ReadP (Int, Int)
forall a. a -> ReadP a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (String -> Int
forall a. Read a => String -> a
read String
row, String -> Int
forall a. Read a => String -> a
read String
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
    String
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 (Int, Int) -> ReadS (Int, Int)
forall a. ReadP a -> ReadS a
readP_to_S ReadP (Int, Int)
cursorPosition String
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
    Bool
isReady <- Handle -> IO Bool
hReady Handle
stdin
    Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
isReady (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
      Char
_ <-IO Char
getChar
      IO ()
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.

--

-- @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.)

--

-- @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.

--

-- @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.

--

-- @since 0.11.4

hGetLayerColor :: Handle -> ConsoleLayer -> IO (Maybe (RGB Word16))
hGetLayerColor :: Handle -> ConsoleLayer -> IO (Maybe (RGB Word16))
hGetLayerColor Handle
h ConsoleLayer
layer = do
  String
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 (RGB Word16) -> ReadS (RGB Word16)
forall a. ReadP a -> ReadS a
readP_to_S (ConsoleLayer -> ReadP (RGB Word16)
layerColor ConsoleLayer
layer) String
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
    Bool
isReady <- Handle -> IO Bool
hReady Handle
stdin
    Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
isReady (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
      Char
_ <-IO Char
getChar
      IO ()
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"

--

-- @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"
  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:"
  String
redHex <- ReadP String
hexadecimal -- A non-negative whole hexadecimal number

  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
'/'
  String
greenHex <- ReadP String
hexadecimal -- A non-negative whole hexadecimal number

  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
'/'
  String
blueHex <- ReadP String
hexadecimal -- A non-negative whole hexadecimal number

  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
"\BEL" ReadP String -> ReadP String -> ReadP String
forall a. ReadP a -> ReadP a -> ReadP a
<++ String -> ReadP String
string String
"\ESC\\"
  let lenRed :: Int
lenRed = String -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
redHex
      lenGreen :: Int
lenGreen = String -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
greenHex
      lenBlue :: Int
lenBlue = String -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
blueHex
  if Int
lenRed Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
lenGreen Bool -> Bool -> Bool
&& Int
lenGreen Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
lenBlue
    then
      if Int
lenRed Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
0 Bool -> Bool -> Bool
|| Int
lenRed Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
4
        then String -> ReadP (RGB Word16)
forall a. String -> ReadP a
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"Color format not recognised"
        else
          let m :: Int
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 :: Word16
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 :: Word16
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 :: Word16
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  RGB Word16 -> ReadP (RGB Word16)
forall a. a -> ReadP a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (RGB Word16 -> ReadP (RGB Word16))
-> RGB Word16 -> ReadP (RGB Word16)
forall a b. (a -> b) -> a -> b
$ Word16 -> Word16 -> Word16 -> RGB Word16
forall a. a -> a -> a -> RGB a
RGB Word16
r Word16
g Word16
b
    else String -> ReadP (RGB Word16)
forall a. String -> ReadP a
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"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 '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.

  Maybe (Int, Int)
mPos <- Handle -> IO (Maybe (Int, Int))
hGetCursorPosition Handle
h
  Handle -> IO ()
hRestoreCursor Handle
h
  Handle -> IO ()
hFlush Handle
h -- ensure the restore cursor position code is sent to the

           -- operating system

  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) -> (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
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)) Maybe (Int, Int)
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

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