{"provider_url":"https://hatena.blog","published":"2011-04-15 17:34:23","url":"https://sirocco.hatenadiary.org/entry/20110415/1302856463","height":"190","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsirocco.hatenadiary.org%2Fentry%2F20110415%2F1302856463\" title=\" MonadPlus\uff1a\u8fd4\u3059\u5024\u306e\u578b\u3092\u30ea\u30b9\u30c8\u3001Maybe\u304b\u3089\u9078\u629e\u3067\u304d\u308b\u95a2\u6570 - sirocco \u306e\u66f8\u3044\u3066\u3082\u3059\u3050\u306b\u5fd8\u308c\u308b\u30e1\u30e2\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","categories":["Haskell"],"title":" MonadPlus\uff1a\u8fd4\u3059\u5024\u306e\u578b\u3092\u30ea\u30b9\u30c8\u3001Maybe\u304b\u3089\u9078\u629e\u3067\u304d\u308b\u95a2\u6570","author_name":"sirocco","width":"100%","description":"\u3042\u3069\u3051\u306a\u3044\u8a71 / QA\u3067\u5b66\u3076Monad\u306e\u6700\u5f8c\u306b MonadPlus \u3092\u4f7f\u3063\u3066\u3001\u8fd4\u3059\u578b\u3092\u6307\u5b9a\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u691c\u7d22\u7d50\u679c\u3092\u30ea\u30b9\u30c8\u3067\u8fd4\u3059\u304b\u3001Maybe \u3067\u8fd4\u3059\u304b\u6307\u5b9a\u3067\u304d\u308b\u95a2\u6570\u304c\u7d39\u4ecb\u3055\u308c\u3066\u3044\u307e\u3059\u3002 MonadPlus \u306e\u5b9a\u7fa9 class Monad m => MonadPlus m where -- | the identity of 'mplus'. It should also satisfy the equations -- -- > mzero >>= f = mzero -- > v >> mzero = mzero -- mzero :: m a -- | an associative op\u2026","version":"1.0","provider_name":"Hatena Blog","image_url":null,"blog_title":"sirocco \u306e\u66f8\u3044\u3066\u3082\u3059\u3050\u306b\u5fd8\u308c\u308b\u30e1\u30e2","blog_url":"https://sirocco.hatenadiary.org/","author_url":"https://blog.hatena.ne.jp/sirocco/"}