如何隐式导入模块

Question

模块A导入Data.Char

模块B导入模块A

所以模块B自动导入Data.Char？

如果不是，我需要在模块A中明确导入Data.Char吗？

在我的程序中，模块B无法访问Data.Char中的类型

Answer 1

您可以从模块Data.Char导出A。

module A (
    -- ... other functions
    module Data.Char
    -- ... other functions
) where

import Data.Char

现在，当您import A时，Data.Char将可用。

Answer 2

如果要从模块B中的Data.Char访问函数和类型，则需要在其中导入Data.Char，除非已导入的模块A重新导出这些函数和/或类型模块B中需要的。

模块A中Data.Char的导入仅适用于该模块本身。