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

Index

*Data.ExactPi.TypeLevel
/Data.ExactPi.TypeLevel
ApproximateData.ExactPi
approximateValueData.ExactPi
areExactlyEqualData.ExactPi
ExactData.ExactPi
ExactNaturalData.ExactPi.TypeLevel
ExactPiData.ExactPi
ExactPi' 
1 (Type/Class)Data.ExactPi.TypeLevel
2 (Data Constructor)Data.ExactPi.TypeLevel
exactPiValData.ExactPi.TypeLevel
injMinData.ExactPi.TypeLevel
isExactData.ExactPi
isExactIntegerData.ExactPi
isExactOneData.ExactPi
isExactRationalData.ExactPi
isExactZeroData.ExactPi
isZeroData.ExactPi
KnownExactPiData.ExactPi.TypeLevel
MinCtxtData.ExactPi.TypeLevel
MinCtxt'Data.ExactPi.TypeLevel
OneData.ExactPi.TypeLevel
PiData.ExactPi.TypeLevel
rationalApproximationsData.ExactPi
RecipData.ExactPi.TypeLevel
toExactIntegerData.ExactPi
toExactRationalData.ExactPi