NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes Contents Index

Algebra.Algebraic

Contents Properties

Synopsis

class C a => C a where sqrt :: a -> a root :: Integer -> a -> a (^/) :: a -> Rational -> a genericRoot :: (C a, ToInteger b) => b -> a -> a power :: (C a, ToRational b) => b -> a -> a propSqrSqrt :: (Eq a, C a) => a -> Bool propPowerCascade :: (Eq a, C a) => a -> Rational -> Rational -> Bool propPowerProduct :: (Eq a, C a) => a -> Rational -> Rational -> Bool propPowerDistributive :: (Eq a, C a) => Rational -> a -> a -> Bool

Documentation

class C a => C a where

Minimal implementation: root or '(^/)'. Methods sqrt :: a -> a root :: Integer -> a -> a (^/) :: a -> Rational -> a Instances C Double C Float C T C T C a => C (T a) C a => C (T a) (C a, C a) => C (T a) (C a, C a) => C (T a) (Polar a, Real a, C a, Divisible a, Power a) => C (T a) C a => C (T a) (C a, C v, Show v, C a v) => C (T a v) C v => C (T a v) (Ord i, C a) => C (T i a)

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

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

Properties

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

propPowerCascade :: (Eq a, C a) => a -> Rational -> Rational -> Bool

propPowerProduct :: (Eq a, C a) => a -> Rational -> Rational -> Bool

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

Produced by Haddock version 0.7