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

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

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.

Modules

exact-pi-0.5.0.2

- Data
  Submodules
  - Data.ExactPi Exact rational multiples of powers of pi
    Submodules
    - Data.ExactPi.TypeLevel Exact non-negative rational multiples of powers of pi at the type level