时间戳

首页 > 解决方案 > 无法在 ReaderT 包装中推断出 MonadReader

haskell - 无法在 ReaderT 包装中推断出 MonadReader

问题描述

遵循并改编这篇博文，我一直在尝试生成一个解决方案，该解决方案应该允许测试读取 env vars 的函数（使用System.Environment.lookupEnv）。

这样，我应该能够为测试注入一个人工环境，可以读取它来代替执行实际的 IO 操作。

但是，尝试读取 env 时类型检查失败。

{-# LANGUAGE GeneralisedNewtypeDeriving #-}

...
import           RIO.Map (Map)
import qualified RIO.Map as Map
...
import qualified System.Environment as E (lookupEnv)
...

newtype MockEnv m a = MockEnv
  { mockEnv :: ReaderT (Map String String) m a
  } deriving (Applicative, Functor, Monad, MonadTrans)

runMockEnv :: MockEnv m a -> Map String String -> m a
runMockEnv (MockEnv e) = runReaderT e

class Monad m => MonadEnv m where
  lookupEnv :: String -> m (Maybe String)

instance MonadEnv IO where
  lookupEnv = E.lookupEnv

instance Monad m => MonadEnv (MockEnv m) where
  lookupEnv k = Map.lookup k <$> ask
                              -- ^^^ error occurs here

在上面“询问”的位置，会产生以下错误：

/home/[REDACTED].hs:45:34: error:
    • Could not deduce (MonadReader (Map String String) (MockEnv m))
        arising from a use of ‘ask’
      from the context: Monad m
        bound by the instance declaration
        at [REDACTED].hs:44:10-40
    • In the second argument of ‘(<$>)’, namely ‘ask’
      In the expression: Map.lookup k <$> ask
      In an equation for ‘lookupEnv’: lookupEnv k = Map.lookup k <$> ask
   |
45 |   lookupEnv k = Map.lookup k <$> ask
   |                                  ^^^


--  While building package [REDACTED]

请您帮我理解为什么这无法进行类型检查以及我需要做些什么来解决它？提前致谢。

标签： haskellmonad-transformersreader-monad

解决方案

这些类型看起来并不匹配。我们有：

lookupEnv :: String -> MockEnv m (Maybe String)
k :: String
ask :: MonadReader r m => m r
Map.lookup :: Map.lookup :: Ord k => k -> Map k a -> Maybe a
Map.lookup k :: Map String a -> Maybe a

所以，这一切都意味着我们需要你当前必须ask是 type的位MockEnv m (Map String a)。最简单的解决方案是ask使用您的新类型包装器进行MockEnv包装。例如，以下工作：

  lookupEnv k = Map.lookup k <$> MockEnv ask

更强大的解决方案（以及 GHC 暗示您需要一个MonadReader实例的建议）是 letMockEnv m是一个实例MonadReader：

instance Monad m => MonadReader (Map String String) (MockEnv m) where
  ask = MockEnv ask
  local f (MockEnv r) = MockEnv (local f r)

使用此实例，您的实例定义可以MonadEnv (MockEnv m)正常工作。

推荐阅读