用 Haskell 解决问题的文档齐全的代码.河内塔是一个谜题，其中有三根杆（A、B 和 C）和 N 个磁盘。

在 Haskell 中，我们可以利用高阶函数和递归来解决河内塔问题。以下是一个简单的实现：

import Control.Monad (void)

-- 河内塔的辅助函数，用于表示操作步骤
move :: String -> Int -> [(Char, Char)] -> IO ()
move msg disk = do
  putStrLn $ "Move disk " ++ show disk ++ " " ++ msg

-- 主函数，实际的河内塔算法
towerOfHanoi :: Int -> Char -> Char -> Char -> IO ()
towerOfHanoi n from to spare =
  if n > 0 then
    void $ move "from " from >> towerOfHanoi (n - 1) spare to >> move "to " to
    else
    return ()

-- 调用函数，解决3个磁盘的问题
main = towerOfHanoi 3 'A' 'C' 'B'

这段代码首先定义了一个辅助函数 `move`，用于打印移动的操作信息，然后定义了 `towerOfHanoi` 函数，它是递归的，每次减少一个磁盘数并交替移动磁盘到指定的目标位置。最后，在 `main` 函数中调用 `towerOfHanoi` 实现整个过程。

Haskell 的文档资源丰富，如Haskell wikibook或Stack Overflow都有详细的教程和例子。你可以查找相关的教程来深入理解这段代码背后的原理。