numeric-prelude-0.2.2: An experimental alternative hierarchy of numeric type classes

Number.PartiallyTranscendental

Description

Define Transcendental functions on arbitrary fields. These functions are defined for only a few (in most cases only one) arguments, that's why discourage making these types instances of Algebra.Transcendental.C. But instances of Algebra.Transcendental.C can be useful when working with power series. If you intent to work with power series with Rational coefficients, you might consider using MathObj.PowerSeries.T (Number.PartiallyTranscendental.T Rational) instead of MathObj.PowerSeries.T Rational.

Documentation

data T a Source

Instances

Eq a => Eq (T a) 
Num a => Fractional (T a) 
Num a => Num (T a) 
Ord a => Ord (T a) 
Show a => Show (T a) 
C a => C (T a) 
C a => C (T a) 
C a => C (T a) 
C a => C (T a) 
(C a, Eq a) => C (T a) 

fromValue :: a -> T aSource

toValue :: T a -> aSource