NumHask.Data.Rational

Rational classes

Documentation

data Ratio a

A rational number

Constructors

!a :% !a

Instances

(Eq a, Additive a) => Eq (Ratio a)

Defined in NumHask.Data.Rational

Methods

(==) :: Ratio a -> Ratio a -> Bool

(/=) :: Ratio a -> Ratio a -> Bool

(Ord a, Multiplicative a, Additive a) => Ord (Ratio a)

Defined in NumHask.Data.Rational

Methods

compare :: Ratio a -> Ratio a -> Ordering

(<) :: Ratio a -> Ratio a -> Bool

(<=) :: Ratio a -> Ratio a -> Bool

(>) :: Ratio a -> Ratio a -> Bool

(>=) :: Ratio a -> Ratio a -> Bool

max :: Ratio a -> Ratio a -> Ratio a

min :: Ratio a -> Ratio a -> Ratio a

Show a => Show (Ratio a)

Defined in NumHask.Data.Rational

Methods

showsPrec :: Int -> Ratio a -> ShowS

show :: Ratio a -> String

showList :: [Ratio a] -> ShowS

(Ord a, Signed a, Integral a, Ring a) => Subtractive (Ratio a)

Defined in NumHask.Data.Rational

Methods

negate :: Ratio a -> Ratio a

(-) :: Ratio a -> Ratio a -> Ratio a

(Ord a, Signed a, Integral a, Ring a) => Additive (Ratio a)

Defined in NumHask.Data.Rational

Methods

(+) :: Ratio a -> Ratio a -> Ratio a

zero :: Ratio a

(Ord a, Signed a, Integral a, Ring a) => Divisive (Ratio a)

Defined in NumHask.Data.Rational

Methods

recip :: Ratio a -> Ratio a

(/) :: Ratio a -> Ratio a -> Ratio a

(Ord a, Signed a, Integral a, Ring a, Multiplicative a) => Multiplicative (Ratio a)

Defined in NumHask.Data.Rational

Methods

(*) :: Ratio a -> Ratio a -> Ratio a

one :: Ratio a

(Ord a, Signed a, Integral a, Ring a) => Distributive (Ratio a)

Defined in NumHask.Data.Rational

(Ord a, Signed a, Integral a, Field a) => LowerBoundedField (Ratio a)

Defined in NumHask.Data.Rational

Methods

negInfinity :: Ratio a

(Ord a, Signed a, Integral a, Ring a, Distributive a) => UpperBoundedField (Ratio a)

Defined in NumHask.Data.Rational

Methods

infinity :: Ratio a

nan :: Ratio a

(Ord a, Signed a, Integral a, Ring a) => Field (Ratio a)

Defined in NumHask.Data.Rational

(Ord a, Signed a) => MeetSemiLattice (Ratio a)

Defined in NumHask.Data.Rational

Methods

(/\) :: Ratio a -> Ratio a -> Ratio a

(Ord a, Signed a) => JoinSemiLattice (Ratio a)

Defined in NumHask.Data.Rational

Methods

(\/) :: Ratio a -> Ratio a -> Ratio a

(Ord a, Signed a, Integral a, Ring a, MeetSemiLattice a) => Epsilon (Ratio a)

Defined in NumHask.Data.Rational

Methods

epsilon :: Ratio a

nearZero :: Ratio a -> Bool

aboutEqual :: Ratio a -> Ratio a -> Bool

(Ord a, Signed a, Integral a, Ring a) => Signed (Ratio a)

Defined in NumHask.Data.Rational

Methods

sign :: Ratio a -> Ratio a

abs :: Ratio a -> Ratio a

FromRational (Ratio Integer)

Defined in NumHask.Data.Rational

Methods

fromRational :: Rational -> Ratio Integer

(FromIntegral a b, Multiplicative a) => FromIntegral (Ratio a) b

Defined in NumHask.Data.Rational

Methods

fromIntegral :: b -> Ratio a

(Ord a, Signed a, Integral a, Ring a, Ord b, Signed b, Integral b, Ring b, Field a, FromIntegral b a) => QuotientField (Ratio a) b

Defined in NumHask.Data.Rational

Methods

properFraction :: Ratio a -> (b, Ratio a)

round :: Ratio a -> b

ceiling :: Ratio a -> b

floor :: Ratio a -> b

truncate :: Ratio a -> b

ToRatio (Ratio Integer) Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Ratio Integer -> Ratio Integer

(Ord a, Signed a, Integral a, Ring a) => Norm (Ratio a) (Ratio a)

Defined in NumHask.Data.Rational

Methods

norm :: Ratio a -> Ratio a

basis :: Ratio a -> Ratio a

type Rational = Ratio Integer

Arbitrary-precision rational numbers, represented as a ratio of two Integer values. A rational number may be constructed using the % operator.

class ToRatio a b where

toRatio is equivalent to Real in base, but is polymorphic in the Integral type.

toRatio (3.1415927 :: Float) :: Ratio Integer

13176795 :% 4194304

Minimal complete definition

Nothing

Methods

toRatio :: a -> Ratio b

default toRatio :: (Ratio c ~ a, FromIntegral b c, ToRatio (Ratio b) b) => a -> Ratio b

Instances

ToRatio Double Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Double -> Ratio Integer

ToRatio Float Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Float -> Ratio Integer

ToRatio Int Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Int -> Ratio Integer

ToRatio Int8 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Int8 -> Ratio Integer

ToRatio Int16 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Int16 -> Ratio Integer

ToRatio Int32 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Int32 -> Ratio Integer

ToRatio Int64 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Int64 -> Ratio Integer

ToRatio Integer Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Integer -> Ratio Integer

ToRatio Natural Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Natural -> Ratio Integer

ToRatio Rational Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Rational -> Ratio Integer

ToRatio Word Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Word -> Ratio Integer

ToRatio Word8 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Word8 -> Ratio Integer

ToRatio Word16 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Word16 -> Ratio Integer

ToRatio Word32 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Word32 -> Ratio Integer

ToRatio Word64 Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Word64 -> Ratio Integer

ToRatio (Ratio Integer) Integer

Defined in NumHask.Data.Rational

Methods

toRatio :: Ratio Integer -> Ratio Integer

(ToRatio a b, ExpField a) => ToRatio (LogField a) b

Defined in NumHask.Data.LogField

Methods

toRatio :: LogField a -> Ratio b

ToRatio a b => ToRatio (Wrapped a) b

Defined in NumHask.Data.Wrapped

Methods

toRatio :: Wrapped a -> Ratio b

class FromRatio a b where

Fractional in base splits into fromRatio and Field

>>> fromRatio (5 :% 2 :: Ratio Integer) :: Double
2.5

Minimal complete definition

Nothing

Methods

fromRatio :: Ratio b -> a

default fromRatio :: Ratio b ~ a => Ratio b -> a

Instances

FromRatio Double Integer

Defined in NumHask.Data.Rational

Methods

fromRatio :: Ratio Integer -> Double

FromRatio Float Integer

Defined in NumHask.Data.Rational

Methods

fromRatio :: Ratio Integer -> Float

FromRatio Rational Integer

Defined in NumHask.Data.Rational

Methods

fromRatio :: Ratio Integer -> Rational

(FromRatio a b, ExpField a) => FromRatio (LogField a) b

Defined in NumHask.Data.LogField

Methods

fromRatio :: Ratio b -> LogField a

FromRatio a b => FromRatio (Wrapped a) b

Defined in NumHask.Data.Wrapped

Methods

fromRatio :: Ratio b -> Wrapped a

class FromRational a where

fromRational is special in two ways:

• numeric decimal literals (like "53.66") are interpreted as exactly "fromRational (53.66 :: GHC.Real.Ratio Integer)". The prelude version, GHC.Real.fromRational is used as default (or whatever is in scope if RebindableSyntax is set).
• The default rules in haskell2010 specify that contraints on fromRational need to be in a form C v, where v is a Num or a subclass of Num.

So a type synonym of `type FromRational a = FromRatio a Integer` doesn't work well with type defaulting; hence the need for a separate class.

Methods

fromRational :: Rational -> a

Instances

FromRational Double

Defined in NumHask.Data.Rational

Methods

fromRational :: Rational -> Double

FromRational Float

Defined in NumHask.Data.Rational

Methods

fromRational :: Rational -> Float

FromRational (Ratio Integer)

Defined in NumHask.Data.Rational

Methods

fromRational :: Rational -> Ratio Integer

reduce :: (Eq a, Subtractive a, Signed a, Integral a) => a -> a -> Ratio a

reduce normalises a ratio by dividing both numerator and denominator by their greatest common divisor.

gcd :: (Eq a, Signed a, Integral a) => a -> a -> a

gcd x y is the non-negative factor of both x and y of which every common factor of x and y is also a factor; for example gcd 4 2 = 2, gcd (-4) 6 = 2, gcd 0 4 = 4. gcd 0 0 = 0. (That is, the common divisor that is "greatest" in the divisibility preordering.)

Note: Since for signed fixed-width integer types, abs minBound < 0, the result may be negative if one of the arguments is minBound (and necessarily is if the other is 0 or minBound) for such types.