MonadIOクラスã®ã“㨠- å–り急ãŽãƒ–ãƒã‚°ã§ã™æ˜¨æ—¥ã®ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã®å‹‰å¼·ä¸ã«ä½¿ã£ãŸliftIOã§ã™ãŒã€å‹˜é•ã„ã‚’ã—ã¦ã„ãŸã“ã¨ã«ã‚„ã£ã¨æ°—ãŒã¤ãã¾ã—ãŸã€‚liftIOã®åž‹æƒ…å ±ã¯ liftIO :: IO a -> m a ã¨ã€ã“ã®é–¢æ•°ã ã‘見るã¨IOアクションをã»ã‹ã®ã©ã‚“ãªå½¢ã®ãƒ¢ãƒŠãƒ‰ã«ã§ã‚‚挿ã’替ãˆã¦ãれるãƒãƒƒã‚ーãªé–¢æ•°ã®ã‚ˆã†ã«ã—ã‹è¦‹ãˆãªã‹ã£ãŸã®ã§ã™ãŒã€ã‚‚ã†ã¡ã‚‡ã£ã¨å‘¨ã‚Šã‚’見るã¨ã€å®Ÿã¯ã€ã“ã®liftIOã¯MonadIOã¨ã„ã†ã‚¯ãƒ©ã‚¹ã®ãƒ¡ã‚½ãƒƒãƒ‰ãªã‚“ã§ã™ã。ãã—ã¦ã€ã“ã®ã‚¯ãƒ©ã‚¹ã®ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹å®£è¨€ã®ã»ã†ã«ã‚‚大切ãªæƒ…å ±ãŒéš ã‚Œã¦ã„ã¾ã—ãŸã€‚ class Monad m => MonadIO m where liftIO :: IO a -> m a Instances MonadIO IO MonadIO m => MonadIO (ListT m) MonadIO m => MonadIO (ContT r m) (Error e, MonadIO m
åœè«–勉強会 第1回 @ ワークスアプリケーションズ
{{#tags}}- {{label}}
{{/tags}}