我似乎无法找到定义两个相对简单的 Haskell 方法的位置。
它是关于ReaderT
。根据合同的要求,我正在寻找ask
and的实现。local
MonadReader
在https://hackage.haskell.org/package/mtl-2.1.2/docs/src/Control-Monad-Reader-Class.html#ask我读到:
instance Monad m => MonadReader r (ReaderT r m) where
ask = ReaderT.ask
local = ReaderT.local
但后来我既找不到ReaderT.ask
也找不到任何ReaderT.local
地方。
这是我第一次通过阅读 Hackage 发现没有实现。
我错过了什么吗?