Suche…


Einführung

Der Reader bietet Funktionen, mit denen jeder Funktion ein Wert übergeben werden kann. Eine hilfreiche Anleitung mit einigen Diagrammen finden Sie hier: http://adit.io/posts/2013-06-10-dree-useful-monads.html

Einfache Demonstration

Ein Schlüsselbestandteil des Reader-Monad ist die Funktion ask ( https://hackage.haskell.org/package/mtl-2.2.1/docs/Control-Monad-Reader.html#v:ask) , die zur Veranschaulichung definiert ist Zwecke:

import Control.Monad.Trans.Reader hiding (ask)
import Control.Monad.Trans

ask :: Monad m => ReaderT r m r
ask = reader id

main :: IO ()
main = do
  let f = (runReaderT $ readerExample) :: Integer -> IO String
  x <- f 100
  print x
  --
  let fIO = (runReaderT $ readerExampleIO) :: Integer -> IO String
  y <- fIO 200
  print y

readerExample :: ReaderT Integer IO String
readerExample = do
  x <- ask
  return $ "The value is: " ++ show x

liftAnnotated :: IO a -> ReaderT Integer IO a
liftAnnotated = lift

readerExampleIO :: ReaderT Integer IO String
readerExampleIO = do
  x <- reader id
  lift $ print "Hello from within"
  liftAnnotated $ print "Hello from within..."
  return $ "The value is: " ++ show x

Das obige wird gedruckt werden:

"The value is: 100"
"Hello from within"
"Hello from within..."
"The value is: 200"


Modified text is an extract of the original Stack Overflow Documentation
Lizenziert unter CC BY-SA 3.0
Nicht angeschlossen an Stack Overflow