Agda

Safe Haskell	None
Language	Haskell2010

Agda.Utils.IO.Terminal

Description

Utilities for interacting with the terminal.

Synopsis

environmentColor :: IO Bool
stdoutSupportsANSI :: IO Bool

Documentation

environmentColor :: IO Bool Source #

Is the NO_COLOR environment variable unset?

stdoutSupportsANSI :: IO Bool Source #