git.iko.soy/Idris-dev
on 22bcbd3 help sign in
Idris-dev/src/Util/ScreenSize.hs
13 lines 321 B history raw
1{-|
2Module : Util.ScreenSize
3Description : Utilities for getting screen width.
4Copyright :
5License : BSD3
6Maintainer : The Idris Community.
7-}
8module Util.ScreenSize(getScreenWidth) where
10import System.Console.Terminal.Size (size, width)
12getScreenWidth :: IO Int
13getScreenWidth = maybe 80 width `fmap` size