Haskell中的单个实体如何重新出口

Question

如何在Haskell中重新出口单个实体？
我知道可以重新出口模块，但是单个实体（例如函数）也可以吗？

我尝试了这个示例：
文件：yomedata.hs

module SomeData where
data SomeData = SomeData

文件：reexport.hs

module ReExport ( SomeData ) where
import SomeData

file：main.hs

import ReExport

x = SomeData -- Error on this line: Illegal term-level use of the type constructor ‘SomeData’

单独的重新分组毫无问题，但是当我尝试尝试时要使用任何内容，我会得到错误：非法术语级别的使用构造函数'Someedata'。在这种情况下，Reexport.hs到底是什么？

Answer 1

在这种情况下，reexport.hs出口到底是什么？

type构造函数，因此您可以使用ymedata作为类型：

import ReExport

x :: SomeData
x = undefined

如果定义类型：

data SomeType = SomeData

因此，您正在导出worder stype。

如果您也想导出数据构造函数，则可以使用：

module ReExport (SomeData(SomeData)) where

import SomeData

然后可以使用：

import ReExport

x :: SomeData
x = SomeData