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)。