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