什么是LazyIO.readFile？

Question

我正在尝试在

中找到privacyContents的类型

privacyContents <- LazyIO.readFile $ markdownPath ++ "PRIVACY.md"

此变量的类型是否由LazyIO.readFile的返回类型定义？如果答案是肯定的，那么LazyIO.readFile的返回类型是什么？

Answer 1

您可以让GHC使用类型孔告诉您类型是什么。

在分配后添加一个let语句：

...
privacyContents <- LazyIO.readFile $ markdownPath ++ "PRIVACY.md"
let _ = privacyContents :: _
...

当您编译程序或将其加载到ghci时，您将被告知是什么 类型privacyContents是。

我的猜测是，LazyIO会对Data.Text.IO.Lazy进行更正，这会使privacyContents成为一个惰性文本值（即类型为Data.Text.Lazy.Text）。