Data.Params.Frac

Provides type level fractions based on type nats

Documentation

data Frac

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

Constructors

/ Nat Nat

class KnownFrac n where

This class gives the Rational associated with a type-level fraction.

Methods

fracSing :: SFrac n

Instances

(KnownNat a, KnownNat b) => KnownFrac (/ a b)

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

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