Fatal编程技术网
  • haskell/
  • 导入作为Haskell中的运算符的类型族

导入作为Haskell中的运算符的类型族

haskell import

导入作为Haskell中的运算符的类型族,haskell,import,operators,type-families,Haskell,Import,Operators,Type Families,GHC.TypeNats导出以下签名的类型系列： type family (m :: Nat) + (n :: Nat) :: Nat 如何显式导入它导入GHC.TypeNats（+）不起作用，因为它说GHC.TypeNats不导出（+） 当我隐式导入整个模块时，一切都可以编译，但这并不是我想要在代码中包含的内容 我使用的GHC 8.6.5来自： 现在进出口清单中存在一些潜在的模糊性；例如，如果您编写import M（+）是指函数（+）还是类型构造函数（+）？默认值为前者，但使用Expli

GHC.TypeNats
导出以下签名的类型系列：

type family (m :: Nat) + (n :: Nat) :: Nat
如何显式导入它<代码>导入GHC.TypeNats（+）不起作用，因为它说
GHC.TypeNats
不导出
（+）

当我隐式导入整个模块时，一切都可以编译，但这并不是我想要在代码中包含的内容

我使用的GHC 8.6.5来自：

现在进出口清单中存在一些潜在的模糊性；例如，如果您编写
import M（+）
是指函数
（+）
还是类型构造函数
（+）
？默认值为前者，但使用
ExplicitNamespaces
（由
类型运算符暗示）GHC允许您通过在其前面加上关键字类型来指定后者，因此：


import M( type (+) )