exact-pi-0.5.0.2: Exact rational multiples of pi (and integer powers of pi)

Index

* | Data.ExactPi.TypeLevel
/ | Data.ExactPi.TypeLevel
Approximate | Data.ExactPi
approximateValue | Data.ExactPi
areExactlyEqual | Data.ExactPi
Exact | Data.ExactPi
ExactNatural | Data.ExactPi.TypeLevel
ExactPi | Data.ExactPi
ExactPi' |
1 (Type/Class) | Data.ExactPi.TypeLevel
2 (Data Constructor) | Data.ExactPi.TypeLevel
exactPiVal | Data.ExactPi.TypeLevel
getRationalLimit | Data.ExactPi
injMin | Data.ExactPi.TypeLevel
isExact | Data.ExactPi
isExactInteger | Data.ExactPi
isExactOne | Data.ExactPi
isExactRational | Data.ExactPi
isExactZero | Data.ExactPi
isZero | Data.ExactPi
KnownExactPi | Data.ExactPi.TypeLevel
MinCtxt | Data.ExactPi.TypeLevel
MinCtxt' | Data.ExactPi.TypeLevel
One | Data.ExactPi.TypeLevel
Pi | Data.ExactPi.TypeLevel
rationalApproximations | Data.ExactPi
Recip | Data.ExactPi.TypeLevel
toExactInteger | Data.ExactPi
toExactRational | Data.ExactPi