numeric-prelude-0.0.2: An experimental alternative hierarchy of numeric type classes Source code 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, C b) => b -> a -> a power :: (C a, C 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 Source

Minimal implementation: root or '(^/)'. Methods sqrt :: a -> a Source root :: Integer -> a -> a Source (^/) :: a -> Rational -> a Source Instances C Double C Float C T C T (Ord a, C a) => C (T a) (Polar a, C a, C a, Divisible a, Power a) => C (T a) C a => C (T a) C a => C (T a) (C a, C a) => C (T a) (C a, C 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 -> a Source

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

Properties

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

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

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

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

Produced by Haddock version 2.6.0