主页 / coding / 问题 / 77931635
Accepted
igr
Asked: 2024-02-03 18:01:00 +0800 CST

Haskell 中不同模块中的单独类和实例？

  • 772

在一个模块中，我定义了一个类：

class Monad m => MonadTime m where
    currentTime :: m UTCTime

已MonadTime导出。

在不同的模块中，我想创建一个实例：

-- MonadTime is imported

instance MonadTime IO where
    currentTime :: IO UTCTime
    currentTime = Data.Time.Clock.getCurrentTime

然而，问题是：

“currentTime”不是“MonadTime”类的（可见）方法

如果我将实例移动到定义类的第一个模块，则一切正常。但我的想法是在主模块中提供实现。

我应该如何解决这个问题？

haskell

1 个回答

  1. Best Answer

    您需要使用该方法导出它，因此：

    module MyModule(MonadTime(currentTime)) where

class Monad m => MonadTime m where
    currentTime :: m UTCTime

    在另一个模块中：

    module MyOtherModule where

import MyModule(MonadTime(currentTime))

instance MonadTime IO where
    currentTime :: IO UTCTime
    currentTime = Data.Time.Clock.getCurrentTime
    • 3

相关问题