Newtype ile sarılmış Reader için bir örnekte soru sorma

Question

Bir dosyaya günlük dizeleri yazabilme yeteneğine sahip bir Worker monad'ımız olmasını istiyoruz. Günlük dosyası yolu ReaderT aracılığıyla işçinin mevcut Config parçasıdır:

data Config = Config { logFile :: FilePath } 

newtype Worker a = Worker { runWorker :: ReaderT Config IO a } 
    deriving (Functor, Applicative, Monad, MonadIO) 

class (Monad m, MonadIO m) => HasLogging m where 
    log :: String -> m() 

Bu elbette birçok yönden suboptimaldir.

instance HasLogging Worker where 
    log s = do 
    ... 

şey etrafında başımı sarmak yapılandırma almak için ask çağırmak nasıl edemez: Ben sormak istiyorum soru en iyi nasıl tanımlanacağını olduğunu. Worker'un kendisi ask'u göstermez. Ancak, sadece bir yeni tip sarıcı olduğundan, bu örneği çok fazla yaygaralamadan yazmak mümkün olmalıdır. Ya da belki değil?

Answer 1

newtype yapıcı tipi

Worker :: ReaderT Config IO a -> Worker a 

olduğundan biz şeylerin listesine MonadReader eklemek türetilmiş olup Neden

Worker ask :: Worker Config