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

Safe HaskellNone

Algebra.Algebraic

Contents

Synopsis

Documentation

class C a => C a whereSource

Minimal implementation: root or '(^/)'.

Methods

sqrt :: a -> aSource

root :: Integer -> a -> aSource

(^/) :: a -> Rational -> aSource

Instances

C Double 
C Float 
C T 
C T 
(Ord a, C a) => C (T a) 
C a => C (T a) 
C a => C (T a) 
C a => C (T a) 
Floating a => C (T a) 
(C a, C a) => C (T a) 
(C a, C a) => C (T a) 
(C a, C a, Power a) => C (T a) 
C a => C (T a) 
(C a, C v, Show v, C a v) => C (T a v) 
(Ord i, C a) => C (T i a) 
C v => C (T a v) 

genericRoot :: (C a, C b) => b -> a -> aSource

power :: (C a, C b) => b -> a -> aSource

Properties

propSqrSqrt :: (Eq a, C a) => a -> BoolSource

propPowerDistributive :: (Eq a, C a) => Rational -> a -> a -> BoolSource