{"height":"190","author_url":"https://blog.hatena.ne.jp/mzp/","version":"1.0","categories":["Haskell","Arrow"],"author_name":"mzp","published":"2009-02-07 00:00:01","title":"Arrow.hs\u3092\u8aad\u3082\u3046\u301c\u305d\u306e2\u301c","url":"https://mzp.hatenadiary.org/entry/20090207/arrow","type":"rich","provider_name":"Hatena Blog","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20090207%2Farrow\" title=\"Arrow.hs\u3092\u8aad\u3082\u3046\u301c\u305d\u306e2\u301c - \u307f\u305a\u3074\u30fc\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_url":"https://mzp.hatenadiary.org/","description":"Arrow.hs\u3092\u8aad\u3082\u3046\u301c\u305d\u306e1\u301c - \u307f\u305a\u3074\u30fc\u65e5\u8a18\u306e\u7d9a\u304d\u3002Arrow.hs\u3092\u8aad\u3082\u3046\u300130\u5206\u3067\u8aad\u3081\u308b\u7bc4\u56f2\u3060\u3051\u3002 ArrowApply instance ArrowApply (->) where app (f,x) = f x \u5358\u306a\u308b\u9069\u7528\u3002(->)\u4ee5\u5916\u3060\u3068\u5b09\u3057\u3044\u3093\u3060\u308d\u3046\u3001\u305f\u3076\u3093\u3002 leftApp -- | Any instance of 'ArrowApply' can be made into an instance of -- 'ArrowChoice' by defining 'left' = 'leftApp'. leftApp :: ArrowApply a => a b c -> \u2026","blog_title":"\u307f\u305a\u3074\u30fc\u65e5\u8a18","provider_url":"https://hatena.blog","width":"100%"}