



Synopsis 



Documentation 


The two classes C and Algebra.ToRational.C
exist to allow convenient conversions,
primarily between the builtin types.
They should satisfy
fromInteger . toInteger === id
toRational . toInteger === toRational
Conversions must be lossless,
that is, they do not round in any way.
For rounding see Algebra.RealField.
With the instances for Float and Double
we acknowledge that these types actually represent rationals
rather than (approximated) real numbers.
However, this contradicts to the Algebra.Transcendental.C instance.
  Methods    Instances  


fromIntegral :: (C a, C b) => a > b  Source 


ringPower :: (C a, C b) => b > a > a  Source 

A prefix function of '(Algebra.Ring.^)'
with a parameter order that fits the needs of partial application
and function composition.
It has generalised exponent.
See: Argument order of expNat on
http://www.haskell.org/pipermail/haskellcafe/2006September/018022.html


fieldPower :: (C a, C b) => b > a > a  Source 

A prefix function of '(Algebra.Field.^)'.
It has a generalised exponent.


Produced by Haddock version 2.4.2 