MonadReader實例定義的是什麼意思？

Question

的MonadReader的實例MonadReader r (ReaderT rm)定義如下：

instance Monad m => MonadReader r (ReaderT r m) where 
    ask = ReaderT.ask 
    local = ReaderT.local 
    reader = ReaderT.reader 

在 ask = ReaderT.ask

，第二問是什麼MonadReader實例？

非常感謝你:)

Answer 1

第二ask不是來自任何情況下都沒有。這是在Control.Monad.Trans.Reader（其類型爲Monad m => ReaderT r m r）中定義的正常功能。

這就像做以下幾點：

data Color = Red | Green | Blue 

myShow :: Color -> String 
myShow c = case c of 
    Red -> "(red)" 
    Green -> "(green)" 
    Blue -> "(blue)" 

instance Show Color where 
    show = myShow 

這裏myShow起着ReaderT.ask作用，作爲一個單獨的函數。