idris-1.2.0: src/Util/ScreenSize.hs

{-|
Module      : Util.ScreenSize
Description : Utilities for getting screen width.

License     : BSD3
Maintainer  : The Idris Community.
-}
module Util.ScreenSize(getScreenWidth) where

import System.Console.Terminal.Size (size, width)

getScreenWidth :: IO Int
getScreenWidth = maybe 80 width `fmap` size