Início / coding / Perguntas / 77931635
Accepted
igr
Asked: 2024-02-03 18:01:00 +0800 CST

Classe e instância separadas em módulos diferentes em Haskell?

  • 772

Em um módulo, defino uma classe:

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

O MonadTimeé exportado.

No módulo diferente, eu queria criar uma instância:

-- MonadTime is imported

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

No entanto, a questão é:

'currentTime' não é um método (visível) da classe 'MonadTime'

Se eu mover a instância para o primeiro módulo, onde a classe está definida, tudo funciona. Mas minha ideia era disponibilizar a implementação no módulo principal.

Como devo resolver isso?

haskell

1 respostas

  1. Best Answer

    Você precisa exportá-lo com o método, então:

    module MyModule(MonadTime(currentTime)) where

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

    e no outro módulo:

    module MyOtherModule where

import MyModule(MonadTime(currentTime))

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

relate perguntas