hmp3-1.4: UI.hs
{-# OPTIONS -cpp -#include "curses.h" #-}
#if HAVE_SIGNAL_H
{-#include <signal.h> #-}
#endif
#include "config.h"
--
-- Copyright (C) 2004-5 Don Stewart - http://www.cse.unsw.edu.au/~dons
--
-- This program is free software; you can redistribute it and/or
-- modify it under the terms of the GNU General Public License as
-- published by the Free Software Foundation; either version 2 of
-- the License, or (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-- General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program; if not, write to the Free Software
-- Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
--
-- Derived from: riot/UI.hs
-- Copyright (c) Tuomo Valkonen 2004.
--
-- Released under the same license.
--
--
-- | This module defines a user interface implemented using ncurses.
--
--
module UI (
-- * Construction, destruction
start, end, suspend, screenSize, refresh, refreshClock, resetui,
-- * Input
getKey
) where
import Style
import Utils (isLightBg)
import FastIO (basenameP, printfPS)
import Tree (File(fdir, fbase), Dir(dname))
import State
import Syntax
import Config
import qualified Curses
import {-# SOURCE #-} Keymap (extraTable, keyTable)
import Data.List (intersperse,isPrefixOf)
import Data.Array ((!), bounds, Array, listArray)
import Data.Array.Base (unsafeAt)
import Control.Monad (when)
import qualified Control.Exception (catch, handle)
import System.IO (stderr, hFlush)
import System.Posix.Signals (raiseSignal, sigTSTP)
import System.Posix.Env (getEnv, putEnv)
import qualified Data.ByteString.Char8 as P
import qualified Data.ByteString as B
------------------------------------------------------------------------
--
-- | how to initialise the ui
--
start :: IO UIStyle
start = do
Control.Exception.handle (const $ return ()) $ do -- tweak for OpenBSD console
thisterm <- getEnv "TERM"
case thisterm of
Just "vt220" -> putEnv "TERM=xterm-color"
Just t | "xterm" `isPrefixOf` t
-> silentlyModifyST $ \st -> st { xterm = True }
_ -> return ()
Curses.initCurses resetui
colorify <- Curses.hasColors
light <- isLightBg
let sty | colorify && light = lightBgStyle
| colorify = defaultStyle
| otherwise = bwStyle
initcolours sty
Curses.keypad Curses.stdScr True -- grab the keyboard
nocursor
return sty
-- | Reset
resetui :: IO ()
resetui = resizeui >> nocursor >> refresh
-- | And force invisible
nocursor :: IO ()
nocursor = do
Control.Exception.catch (Curses.cursSet (fromIntegral (0::Int)) >> return ())
(\_ -> return ())
--
-- | Clean up and go home. Refresh is needed on linux. grr.
--
end :: Bool -> IO ()
end isXterm = do when isXterm $ setXtermTitle [P.pack "xterm"]
Curses.endWin
--
-- | Suspend the program
--
suspend :: IO ()
suspend = raiseSignal sigTSTP
--
-- | Find the current screen height and width.
--
screenSize :: IO (Int, Int)
screenSize = Curses.scrSize
--
-- | Read a key. UIs need to define a method for getting events.
-- We only need to refresh if we don't have the SIGWINCH signal handler
-- working for us.
--
getKey :: IO Char
getKey = do
k <- Curses.getCh
#ifdef KEY_RESIZE
if k == Curses.keyResize
then do
# ifndef SIGWINCH
redraw >> resizeui >> return () -- XXX ^L doesn't work
# endif
getKey
else return k
#else
return k
#endif
-- | Resize the window
-- From "Writing Programs with NCURSES", by Eric S. Raymond and Zeyd M. Ben-Halim
--
resizeui :: IO (Int,Int)
resizeui = do
Curses.endWin
Curses.resetParams
Curses.refresh
Curses.scrSize
refresh :: IO ()
refresh = redraw >> Curses.refresh
refreshClock :: IO ()
refreshClock = redrawJustClock >> Curses.refresh
------------------------------------------------------------------------
type Pos = (Int{-H-}, Int{-W-})
type Size = (Int{-H-}, Int{-W-})
--
-- | A class for renderable objects, given the application state, and
-- for printing the object as a list of strings
--
class Element a where
draw :: Size -> Pos -> HState -> Maybe Frame -> a
--
-- | The elements of the play mode widget
--
data PlayScreen = PlayScreen !PPlaying !ProgressBar !PTimes
-- | How does this all work? Firstly, we mostly want to draw fast strings
-- directly to the screen. To break the drawing problem down, you need
-- to write an instance of Element for each element in the ui. Larger
-- and larger elements then combine these items together.
--
-- Obviously to write the element instance, you need a new type for each
-- element, to disinguish them. As follows:
newtype PlayList = PlayList [StringA]
newtype PPlaying = PPlaying StringA
newtype PVersion = PVersion P.ByteString
newtype PMode = PMode P.ByteString
newtype PMode2 = PMode2 P.ByteString
newtype ProgressBar = ProgressBar StringA
newtype PTimes = PTimes StringA
newtype PInfo = PInfo P.ByteString
newtype PId3 = PId3 P.ByteString
newtype PTime = PTime P.ByteString
newtype PlayTitle = PlayTitle StringA
newtype PlayInfo = PlayInfo P.ByteString
newtype PlayModes = PlayModes P.ByteString
newtype HelpScreen = HelpScreen [StringA]
------------------------------------------------------------------------
instance Element PlayScreen where
draw w x y z = PlayScreen a b c
where
a = draw w x y z :: PPlaying
b = draw w x y z :: ProgressBar
c = draw w x y z :: PTimes
-- | Decode the play screen
printPlayScreen :: PlayScreen -> [StringA]
printPlayScreen (PlayScreen (PPlaying a)
(ProgressBar b)
(PTimes c)) = [a , b , c]
------------------------------------------------------------------------
instance (Element a, Element b) => Element (a,b) where
draw a b c d = (draw a b c d, draw a b c d)
------------------------------------------------------------------------
-- Info about the current track
instance Element PPlaying where
draw w@(_,x') x st z = PPlaying . FancyS $
[(spc2, defaultSty)
,(alignLR (x'-4) a b, defaultSty)]
where
(PId3 a) = draw w x st z :: PId3
(PInfo b) = draw w x st z :: PInfo
-- | Id3 Info
instance Element PId3 where
draw _ _ st _ = case id3 st of
Just i -> PId3 $ id3str i
Nothing -> PId3 $ case size st of
0 -> emptyVal
_ -> fbase $ (music st) ! (current st)
-- | mp3 information
instance Element PInfo where
draw _ _ st _ = PInfo $ case info st of
Nothing -> emptyVal
Just i -> userinfo i
emptyVal :: P.ByteString
emptyVal = P.pack "(empty)"
spc2 :: P.ByteString
spc2 = spaces 2
------------------------------------------------------------------------
instance Element HelpScreen where
draw (_,w) _ st _ = HelpScreen $
[ Fast (f cs h) sty | (h,cs,_) <- keyTable ] ++
[ Fast (f cs h) sty | (h,cs) <- extraTable ]
where
sty = helpscreen . config $ st
f :: [Char] -> P.ByteString -> P.ByteString
f cs ps =
let p = P.pack str `P.append` ps
s = P.pack (take (tot - P.length p) (repeat ' '))
in p `P.append` s
where
tot = round $! fromIntegral w * (0.8::Float)
len = round $! fromIntegral tot * (0.2::Float)
-- faststringify
str = take len $ ' ' :
(concat . intersperse " " $ (map pprIt cs)) ++ repeat ' '
pprIt c = case c of
k | k == Curses.keyUp -> "Up"
| k == Curses.keyDown -> "Down"
| k == Curses.keyPPage -> "PgUp"
| k == Curses.keyNPage -> "PgDn"
| k == Curses.keyLeft -> "Left"
| k == Curses.keyRight -> "Right"
| k == '\n' -> "Enter"
| k == '\f' -> "^L"
| k == Curses.keyEnd -> "End"
| k == Curses.keyHome -> "Home"
_ -> show c
------------------------------------------------------------------------
-- | The time used and time left
instance Element PTimes where
draw _ _ _ Nothing = PTimes $ Fast (spaces 5) defaultSty
draw (_,x) _ _ (Just fr) = PTimes $ FancyS $
[(spc2, defaultSty)
,(elapsed, defaultSty)
,(gap, defaultSty)
,(remaining,defaultSty)]
where
elapsed = printfPS fmt1 lm lm'
remaining = printfPS fmt2 rm rm'
fmt1 = P.pack "%01d:%02d"
fmt2 = P.pack "-%01d:%02d"
(lm,lm') = quotRem (fst . currentTime $ fr) 60
(rm,rm') = quotRem (fst . timeLeft $ fr) 60
gap = spaces distance
distance = x - 4 - P.length elapsed - P.length remaining
------------------------------------------------------------------------
-- | A progress bar
instance Element ProgressBar where
draw (_,w) _ st Nothing = ProgressBar . FancyS $
[(spc2,defaultSty) ,(spaces (w-4), bgs)]
where
(Style _ bg) = progress (config st)
bgs = Style bg bg
draw (_,w) _ st (Just fr) = ProgressBar . FancyS $
[(spc2,defaultSty)
,((spaces distance),fgs)
,((spaces (width - distance)),bgs)]
where
width = w - 4
total = curr + left
distance = round ((curr / total) * fromIntegral width)
curr = toFloat (currentTime fr)
left = toFloat (timeLeft fr)
(Style fg bg) = progress (config st)
bgs = Style bg bg
fgs = Style fg fg
toFloat (x,y) | x `seq` y `seq` False = undefined
toFloat (x,y) = (fromIntegral x :: Float) + (fromIntegral y / 100)
------------------------------------------------------------------------
-- | Version info
instance Element PVersion where
draw _ _ _ _ = PVersion $ P.pack versinfo
-- | Uptime
instance Element PTime where
draw _ _ st _ = PTime . uptime $ st
-- | Play mode
instance Element PMode where
draw _ _ st _ = PMode $! case status st of
Stopped -> a
Paused -> b
Playing -> c
where a = P.pack "stop"
b = P.pack "pause"
c = P.pack "play"
-- | Loop, normal or random
instance Element PMode2 where
draw _ _ st _ = PMode2 $ case mode st of
Random -> a
Loop -> b
Normal -> c
where a = P.pack "random"
b = P.pack "loop"
c = P.empty
------------------------------------------------------------------------
instance Element PlayModes where
draw a b c d = PlayModes $
m `P.append` if m' == P.empty then P.empty else ' ' `P.cons` m'
where
(PMode m ) = draw a b c d :: PMode
(PMode2 m') = draw a b c d :: PMode2
instance Element PlayInfo where
draw _ _ st _ = PlayInfo $ P.concat
[percent
,P.pack " ("
,P.pack (show (1 + ( snd . bounds . folders $ st)))
,P.pack " dir"
,if (snd . bounds $ folders st) == 1 then P.empty else plural
,P.pack ", "
,P.pack (show . size $ st)
,P.pack " file"
,if size st == 1 then P.empty else plural
,P.pack ")"]
where
plural = P.pack "s" -- expose to inlining
pct = P.pack "%"
curr = cursor st
percent | percent' == 0 && curr == 0 = P.pack "top"
| percent' == 100 = P.pack "all"
| otherwise = if P.length s == 2 then ' ' `P.cons` s else s
where
s = P.pack (show percent') `P.append` pct
percent' :: Int
percent' = round $ ((fromIntegral curr) /
((fromIntegral . size $ st) - 1) * 100.0 :: Float)
instance Element PlayTitle where
draw a@(_,x) b c d =
PlayTitle $ flip Fast hl $ P.concat
[space
,inf
,spaces gapl
,modes
,spaces gapr
,time
,space
,ver
,space]
where
(PlayInfo inf) = draw a b c d :: PlayInfo
(PTime time) = draw a b c d :: PTime
(PlayModes modes) = draw a b c d :: PlayModes
(PVersion ver) = draw a b c d :: PVersion
gap = x - padding - P.length inf - modlen - P.length time - P.length ver
gapl = gap `div` 2
gapr = gap - gapl
padding = 3
modlen = P.length modes
space = spaces 1
hl = titlebar . config $ c
-- | Playlist
instance Element PlayList where
draw p@(y,x) q@(o,_) st z =
PlayList $! title
: list
++ (replicate (height - length list - 2) (Fast P.empty defaultSty))
++ [minibuffer st]
where
(PlayTitle title) = draw p q st z :: PlayTitle
songs = music st
this = current st
curr = cursor st
height = y - o
-- number of screens down, and then offset
buflen = height - 2
(screens,select) = quotRem curr buflen -- keep cursor in screen
playing = let top = screens * buflen
bot = (screens + 1) * buflen
in if this >= top && this < bot
then this - top -- playing song is visible
else (-1)
-- visible slice of the playlist
visible = slice off (off + buflen) songs
where off = screens * buflen
-- todo: put dir on its own line
visible' :: [(Maybe Int, P.ByteString)]
visible' = loop (-1) visible
where loop _ [] = []
loop n (v:vs) =
let r = if fdir v > n then Just (fdir v) else Nothing
in (r,fbase v) : loop (fdir v) vs
-- problem: we color *after* merging with directories
-- list = [ uncurry color n
-- | n <- zip (map drawIt visible') [0..] ]
list = [ drawIt . color . mchop $ n | n <- zip visible' [0..] ]
indent = (round $ (0.35 :: Float) * fromIntegral x) :: Int
color :: ((Maybe Int,P.ByteString),Int) -> (Maybe Int, StringA)
color ((m,s),i)
| i == select && i == playing = f sty3
| i == select = f sty2
| i == playing = f sty1
| otherwise = (m,Fast s defaultSty)
where
f sty = (m, Fast (s `P.append`
(spaces (x-indent-1-P.length s)))
sty)
sty1 = selected . config $ st
sty2 = cursors . config $ st
sty3 = combined . config $ st
-- must mchop before drawing.
drawIt :: (Maybe Int, StringA) -> StringA
drawIt (Nothing,Fast v sty) =
Fast ((spaces (1 + indent)) `P.append` v) sty
drawIt (Just i,Fast b sty) = FancyS [pref, post]
where
pref = (d', if sty == sty2 || sty == sty3 then sty2 else sty1)
post = (b, sty)
d = basenameP $ case size st of
0 -> P.pack "(empty)"
_ -> dname $ folders st ! i
spc = spaces (indent - P.length d)
d' | P.length d > indent-1
= P.concat [ P.take (indent+1-4) d
, (P.init ellipsis)
, spaces 1 ]
| otherwise = P.concat [ d, spaces 1, spc ]
drawIt _ = error "UI.drawIt: color gaves us a non-Fast StringA!"
mchop :: ((Maybe Int,P.ByteString),Int) -> ((Maybe Int,P.ByteString),Int)
mchop a@((i,s),j)
| P.length s > (x-indent-4-1)
= ((i, P.take (x-indent-4-1) s `P.append` ellipsis),j)
| otherwise = a
--
-- | Decode the list of current tracks
--
printPlayList :: PlayList -> [StringA]
printPlayList (PlayList s) = s
{-# INLINE printPlayList #-}
------------------------------------------------------------------------
-- | Take two strings, and pad them in the middle
alignLR :: Int -> P.ByteString -> P.ByteString -> P.ByteString
alignLR w l r
| padding > 0 = P.concat [l, gap, r]
| otherwise = P.concat [ P.take (w - P.length r - 4 - 1) l, ellipsis, spaces 1, r]
where padding = w - P.length l - P.length r
gap = spaces padding
-- | Calculate whitespaces, very common, so precompute likely values
spaces :: Int -> P.ByteString
spaces n
| n > 100 = P.replicate n ' ' -- unlikely
| otherwise = arr ! n
where
arr :: Array Int P.ByteString -- precompute some whitespace strs
arr = listArray (0,100) [ P.take i s100 | i <- [0..100] ]
s100 :: P.ByteString
s100 = P.replicate 100 ' ' -- seems reasonable
ellipsis :: P.ByteString
ellipsis = P.pack "... "
{-# INLINE ellipsis #-}
------------------------------------------------------------------------
--
-- | Now write out just the clock line
-- Speed things up a bit, just use read State.
--
redrawJustClock :: IO ()
redrawJustClock = do
Control.Exception.handle (\_ -> return ()) $ do
st <- getsST id
let fr = clock st
s@(_,w) <- screenSize
let (ProgressBar bar) = draw s undefined st fr :: ProgressBar
(PTimes times) = {-# SCC "redrawJustClock.times" #-} draw s undefined st fr :: PTimes
Curses.wMove Curses.stdScr 1 0 -- hardcoded!
drawLine w bar
Curses.wMove Curses.stdScr 2 0 -- hardcoded!
drawLine w times
drawHelp st fr s
------------------------------------------------------------------------
--
-- work for drawing help. draw the help screen if it is up
--
drawHelp :: HState -> Maybe Frame -> (Int,Int) -> IO ()
drawHelp st fr s@(h,w) =
when (helpVisible st) $ do
let (HelpScreen help') = draw s (0,0) st fr :: HelpScreen
(Fast fps _) = head help'
offset = (w - (P.length fps)) `div` 2
height = (h - length help') `div` 2
when (height > 0) $ do
Curses.wMove Curses.stdScr ((h - length help') `div` 2) offset
mapM_ (\t -> do drawLine w t
(y',_) <- Curses.getYX Curses.stdScr
Curses.wMove Curses.stdScr (y'+1) offset) help'
------------------------------------------------------------------------
--
-- | Draw the screen
--
redraw :: IO ()
redraw =
-- linux ncurses, in particular, seems to complain a lot. this is an easy solution
Control.Exception.handle (\_ -> return ()) $ do
s <- getsST id -- another refresh could be triggered?
let f = clock s
sz@(h,w) <- screenSize
let x = printPlayScreen (draw sz (0,0) s f :: PlayScreen)
y = printPlayList (draw sz (length x,0) s f :: PlayList)
a = x ++ y
when (xterm s) $ setXterm s sz f
gotoTop
mapM_ (\t -> do drawLine w t
(y',x') <- Curses.getYX Curses.stdScr
fillLine
maybeLineDown t h y' x' )
(take (h-1) (init a))
drawHelp s f sz
-- minibuffer
Curses.wMove Curses.stdScr (h-1) 0
fillLine
Curses.wMove Curses.stdScr (h-1) 0
drawLine (w-1) (last a)
when (miniFocused s) $ do -- a fake cursor
drawLine 1 (Fast (spaces 1) (blockcursor . config $ s ))
-- todo rendering bug here when deleting backwards in minibuffer
------------------------------------------------------------------------
--
-- | Draw a coloured (or not) string to the screen
--
drawLine :: Int -> StringA -> IO ()
drawLine _ (Fast ps sty) = drawPackedString ps sty
drawLine _ (FancyS ls) = loop ls
where loop [] = return ()
loop ((l,sty):xs) = drawPackedString l sty >> loop xs
-- worker
drawPackedString :: P.ByteString -> Style -> IO ()
drawPackedString ps sty =
withStyle sty $ B.useAsCString ps $ \cstr ->
Curses.throwIfErr_ msg $
Curses.waddnstr Curses.stdScr cstr (fromIntegral . P.length $ ps)
where
msg = P.pack "drawPackedString"
------------------------------------------------------------------------
maybeLineDown :: StringA -> Int -> Int -> Int -> IO ()
maybeLineDown (Fast s _) h y _ | s == P.empty = lineDown h y
maybeLineDown _ h y x
| x == 0 = return () -- already moved down
| otherwise = lineDown h y
------------------------------------------------------------------------
lineDown :: Int -> Int -> IO ()
lineDown h y = Curses.wMove Curses.stdScr (min h (y+1)) 0
--
-- | Fill to end of line spaces
--
fillLine :: IO ()
fillLine = Control.Exception.catch (Curses.clrToEol) (\_ -> return ()) -- harmless?
--
-- | move cursor to origin of stdScr.
--
gotoTop :: IO ()
gotoTop = Curses.wMove Curses.stdScr 0 0
{-# INLINE gotoTop #-}
-- | Take a slice of an array efficiently
slice :: Int -> Int -> Array Int e -> [e]
slice i j arr =
let (a,b) = bounds arr
in [unsafeAt arr n | n <- [max a i .. min b j] ]
{-# INLINE slice #-}
------------------------------------------------------------------------
--
-- | magics for setting xterm titles using ansi escape sequences
--
setXtermTitle :: [P.ByteString] -> IO ()
setXtermTitle strs = do
mapM_ (P.hPut stderr) (before : strs ++ [after])
hFlush stderr
where
before = P.pack "\ESC]0;"
after = P.pack "\007"
------------------------------------------------------------------------
-- set xterm title (should have an instance Element)
-- Don't need to do this on each refresh...
setXterm :: HState -> (Int,Int) -> Maybe Frame -> IO ()
setXterm s sz f = setXtermTitle $
if status s == Playing
then case id3 s of
Nothing -> case size s of
0 -> [P.pack "hmp3"]
_ -> [(fbase $ music s ! current s)]
Just ti -> id3artist ti :
if P.null (id3title ti)
then []
else [P.pack ": ", id3title ti]
else let (PMode pm) = draw sz (0,0) s f :: PMode in [pm]