Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module introduces Rat
kind and all necessary functional.
Documentation
Data structure represents the rational number.
Rational number can be represented as a pair of
natural numbers n
and m
where m
is nor equal
to zero.
type family MulK (k1 :: Type) (k2 :: Type) :: Type Source #
The result kind of overloaded multiplication.
type RatioNat = Ratio Natural Source #
Rational numbers, with numerator and denominator of Natural
type.
class KnownRat (r :: Rat) where Source #
This class gives the integer associated with a type-level rational.
type KnownDivRat a b = (KnownRat a, KnownRat b) Source #
Constraint alias for DivRat
units.