Package0.5.1.0Data
exact-pi
Exact rational multiples of pi (and integer powers of pi)
- Version0.5.1.0
- CategoryData
- LicenceMIT
- AuthorDouglas McClean
- Maintainerdouglas.mcclean@gmail.com
- Homepagegithub.com/dmcclean/exact-pi
- Pinned byhackage exact-pi 0.5.1.0
- Sourcehackage.haskell.org/package/exact-pi-0.5.1.0
Modules
- Data.ExactPiThis type is sufficient to exactly express the closure of Q ∪ {π} under multiplication and division.
- Data.ExactPi.TypeLevelThis 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
3 packages- base-4.23.0.0with GHC
- infinite-list-0.1.3in this set
- numtype-dk-0.5.0.3in this set