Prelude> import Data.Ratio Prelude Data.Ratio> numerator (1 % 3) 1 Prelude Data.Ratio> denominator (1 % 3) 3 Prelude Data.Ratio> 1 / 3 :: Rational 1 % 3 Prelude Data.Ratio> 3 / 3 :: Rational 1 % 1
numeratorが分子 denominatorが分母
Prelude> import Data.Ratio Prelude Data.Ratio> numerator (1 % 3) 1 Prelude Data.Ratio> denominator (1 % 3) 3 Prelude Data.Ratio> 1 / 3 :: Rational 1 % 3 Prelude Data.Ratio> 3 / 3 :: Rational 1 % 1
numeratorが分子 denominatorが分母