Purescript 导入中缀类型构造函数

Question

此处，\/来自Data.Either。

这个例子是从上面的link复制过来的：

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

导入语句是什么样的？

Answer 1

这里需要同时导入类型\/和值\/.

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

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

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

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

总而言之，我建议使用您的 IDE 集成（例如，here's a VSCode extension）为您插入导入。这样你就不必知道精确的语法。