MonadReader, Reader e ReaderT: Implementação e Propriedades em Haskell
Classe de Tipos MonadReader
-- Definição reescrita com nomes alternativos
class Monad m => MonadReader r m | m -> r where
perguntar :: m r
perguntar = leitor id
local :: (r -> r) -> m a -> m a
leitor :: (r -> a) -> m a
leitor f = do
r <- perguntar
return (f r)
instance Monad m => M ...
Publicado em 7-4 19:32