Início / coding / Perguntas / 77852202
Accepted
Enlico
Asked: 2024-01-21 02:25:28 +0800 CST

Quais são as definições de clima e memória no repositório xmobar?

  • 772

Brincando com o xmobar, quando vi isso

  , commands = [ Run $ Weather "EGPH" ["-t","<station>: <tempC>C",
                                        "-L","18","-H","25",
                                        "--normal","green",
                                        "--high","red",
                                        "--low","lightblue"] 36000
               , Run $ Network "eth0" ["-L","0","-H","32",
                                        "--normal","green","--high","red"] 10
               , Run $ Network "eth1" ["-L","0","-H","32",
                                        "--normal","green","--high","red"] 10
               , Run $ Cpu ["-L","3","-H","50",
                             "--normal","green","--high","red"] 10
               , Run $ Memory ["-t","Mem: <usedratio>%"] 10
               , Run $ Swap [] 10
               , Run $ Com "uname" ["-s","-r"] "" 36000
               , Run $ Date "%a %b %_d %Y %H:%M:%S" "date" 10
              , Run HelloWorld
              ]

Eu sem pensar muito falei "ah, posso tirar isso Run" e escrevi

  , commands = Run <$> [Weather {- ... -}
               , Network {- ... -}
               , Network {- ... -}
               , Cpu {- ... -}
               , Memory {- ... -}
               , Swap {- ... -}
               , Com {- ... -}
               , Date  {- ... -}
               , HelloWorld
               ]

mas isso obviamente não funciona, porque, por exemplo Data, HelloWorlde Weathersão tipos diferentes.

Mas alguns podem ir juntos dentro de uma lista, por exemplo, este tipo verifica

foo = [ Weather undefined undefined undefined
      , Cpu undefined undefined
      , DiskU undefined undefined undefined
      , Memory undefined undefined ]

mas isso não

foo = [ Weather undefined undefined undefined
      , Cpu undefined undefined
      , DiskU undefined undefined undefined
      , Date undefined undefined undefined -- because of this
      , Memory undefined undefined ]

Agora vejo que é um tipo Daterealdata , mas quais são os outros?

Se eu abrir, Weathernem vejo uma única palavra Weatheralém de um comentário e no nome do arquivomodule .

Então, o que é Weather? E onde vejo sua definição?

O fato de Weathere, digamos, Memorypoderem estar na mesma lista me faz pensar em tipos existenciais dos quais tenho pouca experiência. No entanto, nessa página wiki, vejo que isso

data Worker x y = forall b. Buffer b => Worker {buffer :: b, input :: x, output :: y}

é a maneira de definir a Workerque pode conter a bufferde qualquer tipo, desde que esse tipo implemente Buffer.

Agora, dado que o tipo do primeiro fooacima tem type [Monitors], acho que Monitorsestá desempenhando o papel de Worker, o tipo existencial, e Weather, Memorye outros são construtores de valor de tipos que implementam qualquer interface (correspondente a Buffer) que esteja restringindo o tipo que o tipo existencial Monitorspode quebrar. Mas Datenão implementa essa interface, então não pode combinar com as outras.

É assim?

Mas se for esse o caso... então onde estão as definições Weatherde ', Memory' e outros, juntamente com a implementação da interface?

haskell

1 respostas

  1. Best Answer

    Em vez de pesquisar apenas no arquivo Weather.hs, pesquise em todo o repositório. Você encontrará Monitors.hsrecursos com uma definição deWeather :

    data Monitors = Network      Interface   Args Rate
              -- ...
              | DiskU        DiskSpec    Args Rate
              -- ...
              | Memory       Args        Rate
              | Swap         Args        Rate
              | Cpu          Args        Rate
              -- ...
#ifdef WEATHER
              | Weather      Station     Args Rate
              | WeatherX     Station SkyConditions Args Rate
#endif
              -- ...

    Não é um tipo existencial, apenas um tipo de dados algébrico comum de Haskell, portanto não há "interface" para suportar. Eles podem ir juntos em uma lista porque são todos do mesmo tipo ( Monitors).

    Você também pode descobrir isso lendo a documentação do Haddock para xmobar em vez de examinar a fonte. Está bem indexado e com links cruzados para que você possa encontrar as definições que procura e links para a fonte se quiser ver mais detalhes.

    Existe um tipo existencial intimamente relacionado Runnable, definido emRunnable.hs , como

    data Runnable = forall r . (Exec r, Read r, Show r) => Run r

    Este é o tipo existencial que permite Run $ Date ...estar na mesma lista que os outros monitores como Run $ Memory ..., mesmo que o Datetipo e Monitorso tipo não estejam diretamente relacionados. Cada um deles satisfaz as Runnablerestrições e o Runnablewrapper oculta todos os outros detalhes para que possam ser tratados uniformemente.

    • 3

relate perguntas