purescript - Purescript 导入中缀类型构造函数

Question

这里，\/来自Data.Either。

此示例是从上面的链接中复制的：

f :: (Int \/ String \/ Boolean) -> String
f = show \/ identity \/ if _ then "Yes" else "No"

导入语句是什么样的？

标签： purescript

Answer 1

在这里，您需要同时导入 type\/和 value \/。

导入类型运算符的语法是type (\/). 前缀type是消除歧义所必需的 - 也就是说，让编译器知道您正在导入类型，而不是可能具有相同名称的值。

导入值的语法和往常一样。

所以整个导入看起来像这样：

import Data.Either.Nested (type (\/), (\/))

总之，我建议使用您的 IDE 集成（例如，这里是 VSCode 扩展）为您插入导入。这样您就不必知道精确的语法。