where式の後に処理を書きたい

Question

前提・実現したいこと

where式を使った後に処理を書きたいのですが、エラーになります。

データベースを表示するプログラムを書いていて、その後に処理を書こうとしたらエラーになりました。

発生している問題・エラーメッセージ

/home/apo/Documents/project/make/haskell/where/my-project/app/Main.hs:39:5: error: parse error on input ‘print’
   |
39 |     print "hello"
   |     ^^^^^


--  While building package my-project-0.1.0.0 (scroll up to its section to see the error) using:
      /home/apo/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_2.0.1.0_ghc-8.2.2 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0 build lib:my-project exe:my-project-exe --ghc-options " -fdiagnostics-color=always"
    Process exited with code: ExitFailure 1

該当のソースコード

{-# LANGUAGE OverloadedStrings #-}

module Main where

import Lib
import Database.MySQL.Base
import qualified System.IO.Streams as Streams
import qualified Data.Text.IO as T
import Data.Text

main :: IO ()
main = do
    print "id name comment time"
    conn <- connect
        defaultConnectInfo {ciUser = "root", ciPassword = "Password1234!", ciDatabase = "test"}
    (defs, is) <- query_ conn "SELECT * FROM memos"
    --print =<< Streams.toList is

    mapM_ (mapM f) =<< Streams.toList is
        where
        -- 受け取った引数が MySQLText の場合だけ、取り出した文字列をputStrLnする関数
        f :: MySQLValue -> IO ()

        f (MySQLText text) = do
            T.putStr text
            T.putStr " "

        f (MySQLInt32 int) = do
            T.putStr (Data.Text.pack (show int))
            T.putStr " "

        f (MySQLDateTime text) = do
            T.putStr (Data.Text.pack (show text))
            T.putStrLn ""

        f _other = return ()


    print "hello"

試したこと

「print "hello"」の部分のインデントがわるいのかと思い、色々変えてみましたがダメでした。
その前の「where」及び関数「f」のインデントも色々変えてみましたがダメでした。

補足情報（FW/ツールのバージョンなど）

stack:Version 2.5.1, Git revision d6ab861544918185236cf826cb2028abb266d6d5 x86_64 hpack-0.33.0
HostPC:Windows10Pro
VirtualBox:6.1
GuestPC OS:Gentoo

すべてのソースコード
https://github.com/ringo-apo/Haskell_where

よろしくお願いします。

Answer 1

mapM_ (mapM f) =<< Streams.toList is のみで有効な f を定義するために where を使っているんですよね？残念ながら、where はmapM_ (mapM f) =<< Streams.toList isのような式に紐付けるものではなく、あくまでもhoge = ...のような、関数の定義に紐付ける構文なので、意図したような使い方はできません。

今回のように mapM_ (mapM f) =<< Streams.toList is のみで有効な f を定義するには、下記のように let ... in を使うしかありません:

let f :: MySQLValue -> IO ()

    f (MySQLText text) = do
    -- 省略

    f _other = return ()
 in mapM_ (mapM f) =<< Streams.toList is

もちろん、 f が有効な範囲を mapM_ (mapM f) =<< Streams.toList is に絞ることに強いこだわりがないなら、 let ... in ではなく do の中の letでも問題ありません（特にこの場合 mapM_ (mapM f) =<< Streams.toList is が do における最後の式なので、 do の中の let でも全く問題はないでしょう）:

do
  let f :: MySQLValue -> IO ()

      f (MySQLText text) = do
      -- 省略

      f _other = return ()
  mapM_ (mapM f) =<< Streams.toList is

Comments

[apo]

早速の回答、ありがとうございます。

示して頂いた２つの方法を試してみましたが、エラーになりました。

```
/home/apo/Documents/project/make/haskell/where/my-project/app/Main.hs:33:5: error: parse error on input ‘in’
|
33 | in mapM_ (mapM f) =<< Streams.toList is
|
```

```
{-# LANGUAGE OverloadedStrings #-}

module Main where

import Lib
import Database.MySQL.Base
import qualified System.IO.Streams as Streams
import qualified Data.Text.IO as T
import Data.Text

main :: IO ()
main = do
print "id name comment time"
conn <- connect
defaultConnectInfo {ciUser = "root", ciPassword = "Password1234!", ciDatabase = "test"}
(defs, is) <- query_ conn "SELECT * FROM memos"
--print =<< Streams.toList is

let f :: MySQLValue -> IO ()
f (MySQLText text) = do
T.putStr text
T.putStr " "

f (MySQLInt32 int) = do
T.putStr (Data.Text.pack (show int))
T.putStr " "

f (MySQLDateTime text) = do
T.putStr (Data.Text.pack (show text))
T.putStrLn ""

f _other = return ()
in mapM_ (mapM f) =<< Streams.toList is

print "hello"
```

[https://github.com/ringo-apo/Haskell_where](https://github.com/ringo-apo/Haskell_where)

[igrep]

インデントが消えてしまっているのでこのコードからはわかりませんが、もしかして
letとinの行頭がそろってしまっていませんか？
let f = ..
<space>in ...
と、letの行頭よりinの行頭をより後ろにしなければなりません。
（という、わかりづらい問題があるのでlet ... inを進めたのは失敗でした...）

[apo]

「in」を抜いたらできました。
```
let f :: MySQLValue -> IO ()
f (MySQLText text) = do
T.putStr text
T.putStr " "

f (MySQLInt32 int) = do
T.putStr (Data.Text.pack (show int))
T.putStr " "

f (MySQLDateTime text) = do
T.putStr (Data.Text.pack (show text))
T.putStrLn ""

f _other = return ()
mapM_ (mapM f) =<< Streams.toList is
```
[https://github.com/ringo-apo/Haskell_where](https://github.com/ringo-apo/Haskell_where)

ありがとうございます！

[apo]

入れ違いになってしまい申し訳ございません。
「in」の位置をletにあわせてしまいました。
「in」の位置を後ろにずらしたらエラーが消えました。
[https://github.com/ringo-apo/Haskell_where](https://github.com/ringo-apo/Haskell_where)

[igrep]

もう解決したようですが、参考までに両方を使った例を挙げておきます https://gist.github.com/igrep/31c2a665782568eb731c5f1c1a1edec3

[apo]

まだまだ基本がわかっていません。
ありがとうございます。