Numeric.Fractional

Documentation

class Num a => Fractional a where

Fractional numbers, supporting real division.

Minimal complete definition

fromRational, (recip | (/))

Methods

(/) :: a -> a -> a infixl 7

fractional division

recip :: a -> a

reciprocal fraction

fromRational :: Rational -> a

Conversion from a Rational (that is Ratio Integer). A floating literal stands for an application of fromRational to a value of type Rational, so such literals have type (Fractional a) => a.

Instances

Fractional Scientific

WARNING: recip and / will throw an error when their outputs are repeating decimals.

fromRational will throw an error when the input Rational is a repeating decimal. Consider using fromRationalRepetend for these rationals which will detect the repetition and indicate where it starts.

Defined in Data.Scientific

Methods

(/) :: Scientific -> Scientific -> Scientific

recip :: Scientific -> Scientific

fromRational :: Rational -> Scientific

Fractional CFloat

Defined in Foreign.C.Types

Methods

(/) :: CFloat -> CFloat -> CFloat

recip :: CFloat -> CFloat

fromRational :: Rational -> CFloat

Fractional CDouble

Defined in Foreign.C.Types

Methods

(/) :: CDouble -> CDouble -> CDouble

recip :: CDouble -> CDouble

fromRational :: Rational -> CDouble

Fractional Half

Defined in Numeric.Half

Methods

(/) :: Half -> Half -> Half

recip :: Half -> Half

fromRational :: Rational -> Half

Fractional NominalDiffTime

Defined in Data.Time.Clock.Internal.NominalDiffTime

Methods

(/) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

recip :: NominalDiffTime -> NominalDiffTime

fromRational :: Rational -> NominalDiffTime

Fractional DiffTime

Defined in Data.Time.Clock.Internal.DiffTime

Methods

(/) :: DiffTime -> DiffTime -> DiffTime

recip :: DiffTime -> DiffTime

fromRational :: Rational -> DiffTime

() :=> (Fractional Double)

Defined in Data.Constraint

Methods

ins :: () :- Fractional Double

() :=> (Fractional Float)

Defined in Data.Constraint

Methods

ins :: () :- Fractional Float

Integral a => Fractional (Ratio a)

Since: base-2.0.1

Defined in GHC.Real

Methods

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

recip :: Ratio a -> Ratio a

fromRational :: Rational -> Ratio a

RealFloat a => Fractional (Complex a)

Since: base-2.1

Defined in Data.Complex

Methods

(/) :: Complex a -> Complex a -> Complex a

recip :: Complex a -> Complex a

fromRational :: Rational -> Complex a

HasResolution a => Fractional (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

(/) :: Fixed a -> Fixed a -> Fixed a

recip :: Fixed a -> Fixed a

fromRational :: Rational -> Fixed a

Fractional a => Fractional (Identity a)

Defined in Data.Functor.Identity

Methods

(/) :: Identity a -> Identity a -> Identity a

recip :: Identity a -> Identity a

fromRational :: Rational -> Identity a

(Precise a, RealFloat a) => Fractional (Log a)

Defined in Numeric.Log

Methods

(/) :: Log a -> Log a -> Log a

recip :: Log a -> Log a

fromRational :: Rational -> Log a

Fractional a => Fractional (Managed a)

Defined in Control.Monad.Managed

Methods

(/) :: Managed a -> Managed a -> Managed a

recip :: Managed a -> Managed a

fromRational :: Rational -> Managed a

Class (Fractional a) (Floating a)

Defined in Data.Constraint

Methods

cls :: Floating a :- Fractional a

Class (Num a) (Fractional a)

Defined in Data.Constraint

Methods

cls :: Fractional a :- Num a

(Fractional a) :=> (Fractional (Identity a))

Defined in Data.Constraint

Methods

ins :: Fractional a :- Fractional (Identity a)

(Fractional a) :=> (Fractional (Const a b))

Defined in Data.Constraint

Methods

ins :: Fractional a :- Fractional (Const a b)

(Integral a) :=> (Fractional (Ratio a))

Defined in Data.Constraint

Methods

ins :: Integral a :- Fractional (Ratio a)

(RealFloat a) :=> (Fractional (Complex a))

Defined in Data.Constraint

Methods

ins :: RealFloat a :- Fractional (Complex a)

Fractional a => Fractional (Op a b)

Defined in Data.Functor.Contravariant

Methods

(/) :: Op a b -> Op a b -> Op a b

recip :: Op a b -> Op a b

fromRational :: Rational -> Op a b

Fractional b => Fractional (Fold a b)

Defined in Control.Foldl

Methods

(/) :: Fold a b -> Fold a b -> Fold a b

recip :: Fold a b -> Fold a b

fromRational :: Rational -> Fold a b

(Monad m, Fractional a) => Fractional (ListT m a)

Defined in List.Transformer

Methods

(/) :: ListT m a -> ListT m a -> ListT m a

recip :: ListT m a -> ListT m a

fromRational :: Rational -> ListT m a

Class (Real a, Fractional a) (RealFrac a)

Defined in Data.Constraint

Methods

cls :: RealFrac a :- (Real a, Fractional a)

Fractional a => Fractional (Const a b)

Defined in Data.Functor.Const

Methods

(/) :: Const a b -> Const a b -> Const a b

recip :: Const a b -> Const a b

fromRational :: Rational -> Const a b

(Monad m, Fractional b) => Fractional (FoldM m a b)

Defined in Control.Foldl

Methods

(/) :: FoldM m a b -> FoldM m a b -> FoldM m a b

recip :: FoldM m a b -> FoldM m a b

fromRational :: Rational -> FoldM m a b

Fractional a => Fractional (Tagged s a)

Defined in Data.Tagged

Methods

(/) :: Tagged s a -> Tagged s a -> Tagged s a

recip :: Tagged s a -> Tagged s a

fromRational :: Rational -> Tagged s a