Haskellで型を合わすこと？は可能でしょうか

やりたいこと

webサイトのトップページにアクセスされたら、index.htmlを表示させ、サーバー起動のターミナル画面に標準出力で"this is test"を出力させたい。

{-# LANGUAGE OverloadedStrings #-}

import Web.Scotty
import System.Process
import System.Cmd
import GHC.IO.Exception

web :: ScottyM ()
web = do
    get  "/"         showTop

showTop :: ActionM ()
showTop = do
  system "echo this is test"
  setHeader "Content-Type" "text/html"
  file "web/index.html"

main :: IO ()
main = scotty 3000 web

できていないこと

    • Couldn't match type ‘IO’
                     with ‘Web.Scotty.Internal.Types.ActionT
                             text-1.2.3.1:Data.Text.Internal.Lazy.Text IO’
      Expected type: Web.Scotty.Internal.Types.ActionT
                       text-1.2.3.1:Data.Text.Internal.Lazy.Text IO ExitCode
        Actual type: IO ExitCode
    • In a stmt of a 'do' block: system "echo this is test"
      In the expression:
        do system "echo this is test"
           setHeader "Content-Type" "text/html"
           file "web/index.html"
      In an equation for ‘showTop’:
          showTop
            = do system "echo this is test"
                 setHeader "Content-Type" "text/html"
                 file "web/index.html"

system "echo this is test"　の型が IO ExitCode
でも、上記を使っている部分の関数の型が Web.Scotty.Internal.Types.ActionT~~となっており、違うと言っている？

質問

showTop関数の中で system "echo this is test" を実行させるためにはどのような手法をとればいいのかご教示いただけませんでしょうか？

maisumakun

2019/02/01 08:30

「system」を介する理由はありますか？（感覚的な話ですが、使わないほうが解決しやすそうな気もします）

EzrealTrueshot

2019/02/01 08:44

アクセスがあったら、他のサーバーへsshさせて作業させるということをしたいのです。なので、シェルが使えるのであれば、systemでなくてもいいかもしれません。ただ、自分がしらべところ、シェルが使えるのはSystem.Cmd と System.Processしかわからなかったので、それを使ってなんとかできないかなぁと試しているところです。

maisumakun

2019/02/01 08:49

echoはテスト用だったのですね、ありがとうございます。

行動規範の内容に同意します

回答1件

ベストアンサー

こんにちは。

確かめてないですが、たぶんActionMはMonadIOだと思うので、liftIO $ system "echo this is test" とすれば動く気がします。

投稿2019/02/01 08:35

tamoto

総合スコア4103

EzrealTrueshot

2019/02/01 08:44

ありがとうございます。試してみます！

EzrealTrueshot

2019/02/01 08:46

Variable not in scope: liftIO :: IO ExitCode -> Web.Scotty.Internal.Types.ActionT text-1.2.3.1:Data.Text.Internal.Lazy.Text IO a0 このようなエラーが出てしまいました。スコープだけの問題なのか、もっと違う問題なのか調べてみようと思います。