Package0.5.0.2Data
exact-pi
Exact rational multiples of pi (and integer powers of pi)
- Version0.5.0.2
- CategoryData
- LicenceMIT
- AuthorDouglas McClean
- Maintainerdouglas.mcclean@gmail.com
- Homepagegithub.com/dmcclean/exact-pi
- Pinned byhackage exact-pi 0.5.0.2
- Sourcehackage.haskell.org/package/exact-pi-0.5.0.2
Modules
2 modules- Data.ExactPi13This type is sufficient to exactly express the closure of Q ∪ {π} under multiplication and division.
- Data.ExactPi.TypeLevel11This kind is sufficient to exactly express the closure of Q⁺ ∪ {π} under multiplication and division.
Description
Provides an exact representation for rational multiples of pi alongside an approximate representation of all reals. Useful for storing and computing with conversion factors between physical units.
Depends on
2 packages- base-4.20.2.0with GHC
- numtype-dk-0.5.0.3in this set