{"blog_url":"https://kazu-yamamoto.hatenablog.jp/","description":"PatternSynonyms\u306f\u3001\u305d\u306e\u540d\u306e\u901a\u308a\u3001\u30d1\u30bf\u30fc\u30f3\u306e\u5225\u540d\u3067\u3042\u308b\u3002GHC 7.8.1 \u3067\u5c0e\u5165\u3055\u308c\u305f\u3002GHC 7\u7cfb\u306ePatternSynonyms\u306f\u3001\u30e2\u30b8\u30e5\u30fc\u30eb\u5185\u306b\u9589\u3058\u3066\u5165\u308c\u3070\u4f55\u306e\u554f\u984c\u3082\u306a\u304b\u3063\u305f\u304c\u3001\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u5916\u3078export\u3059\u308b\u969b\u306f\u3001pattern\u30ad\u30fc\u30ef\u30fc\u30c9\u304c\u5fc5\u8981\u3067\u3042\u308a\u3001\u69cb\u6210\u5b50\u3089\u3057\u304f\u306a\u304b\u3063\u305f\u3002 {-# LANGUAGE PatternSynonyms #-} module A (Foo, pattern Zero) where newtype Foo = Foo Int pattern Zero :: Foo pattern Zero = Foo 0 GHC 8 \u304b\u3089\u306f\u3001pattern\u30ad\u30fc\u2026","author_url":"https://blog.hatena.ne.jp/kazu-yamamoto/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20170919%2F1505787393\" title=\"PatternSynonyms\u306e\u30b9\u30b9\u30e1 - \u3042\u3069\u3051\u306a\u3044\u8a71\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","version":"1.0","url":"https://kazu-yamamoto.hatenablog.jp/entry/20170919/1505787393","blog_title":"\u3042\u3069\u3051\u306a\u3044\u8a71","published":"2017-09-19 11:16:33","width":"100%","categories":["Haskell"],"provider_url":"https://hatena.blog","height":"190","provider_name":"Hatena Blog","author_name":"kazu-yamamoto","title":"PatternSynonyms\u306e\u30b9\u30b9\u30e1","type":"rich","image_url":null}