Конфигурация Haskell XMonad с использованием readProcess

Question

Я пытаюсь настроить XMonad без фактического понимания синтаксиса Haskell .

Я запускаю сеанс гнома с xmonad сверху. Я хочу, чтобы нажать моды-р для тумблера гнома-панель:

• если панель гнома не работает Я хочу, чтобы запустить его.
• если панель гнома уже работает, я хочу, чтобы убить его

Я думал, что это будет сделать это:

startgpanel :: X() 
startgpanel = do 
    gp <- readProcess "pidof" ["gnome-panel"] "" 
    if (length gp) 
    then spawn "killall gnome-panel" 
    else spawn "gnome-panel" 

    ... 
((myModMask, xK_g), startgpanel) 
    ... 

Но я получаю сообщение об ошибке:

xmonad.hs:169:12: 
    Couldn't match expected type âX (t0 a0)â 
       with actual type âIO Stringâ 
    In a stmt of a 'do' block: 
     gp <- readProcess "pidof" ["gnome-panel"] "" 
    In the expression: 
     do { gp <- readProcess "pidof" ["gnome-panel"] ""; 
      if (length gp) then 
       spawn "killall gnome-panel" 
      else 
       spawn "gnome-panel" } 

Я действительно не понимаю концепцию Monad, я просто хочу, чтобы сделал несколько ввода-вывода, но кажется очень сложным ...

Answer 1

Как уже упоминалось, вам нужно использовать liftIO.

консультации также обсуждение этого вопроса: SO

How do I use the output of readProcess in an xmonad keybinding?

Вместо readProcess вам может понадобиться использовать readProcessWithInput.

Answer 2

Вам необходимо обернуть ваше действие IO в liftIO, чтобы запустить его в монаде X. Кроме того, вы не можете просто использовать результат length как Bool для если заявление, так как она возвращает Int:

startgpanel :: X() 
startgpanel = do 
    gp <- liftIO $ readProcess "pidof" ["gnome-panel"] "" 
    if (length gp > 0) 
    then spawn "killall gnome-panel" 
    else spawn "gnome-panel" 

Answer 3

Из-за всей гадости xmonad делает с процессами, я бы предложил вам переместить всю чертову кучу логики в оболочку; привязать ключ к этой операции:

spawn "pidof gnome-panel && killall gnome-panel || gnome-panel" 

Смотри, мама, нет do!