numeric-prelude-0.1: 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)
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
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 -> 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.4.2