Safe Haskell | None |
---|---|

Language | Haskell98 |

Provides type level fractions based on type nats

# Documentation

(Kind) This is the kind of type-level fractions.
It is not built in to GHC, but instead defined in terms of `Nat`

fracVal :: forall f n proxy. (KnownFrac n, Fractional f) => proxy n -> f Source

get the value from a type frac fracVal :: forall n proxy. (KnownFrac n) => proxy n -> Rational