21/09/22 10:44:01.62 02VLVXq+.net
ネットで調べると
{-# LANGUAGE PatternSynonyms, ViewPatterns #-}
numDenum :: Integral a => Ratio a -> (a,a)
numDenum x = ( numerator x, denominator x )
pattern ( :% ) :: Integral a => a -> a -> Ratio a
pattern a :% b <- ( numDenum -> ( a,b ) )
where a :% b = a % b
というおまじないがstack exchangeで見つかってコレつけるとうまく行きました
うまくいったんですがサッパリわかりません
コレ何者ですか？
そもそも①はなんでうまく動かないんですか？