Data.TypeNums.Rats

Type level rational numbers expressed as a ratio between a type-level integer and a type-level natural. For example Neg 3 :% 2.

See also: Data.TypeInts

Construction

data Rat

Type constructor for a rational

Constructors

forall k. k :% Nat

Instances

(KnownInt n, KnownNat d, d /= 0) => KnownRat (n :% d :: Rat)

Defined in Data.TypeNums.Rats

Methods

ratSing :: SRat (n :% d)

(TypeError ('Text "Denominator must not equal 0") :: Constraint) => KnownRat (n :% 0 :: Rat)

Defined in Data.TypeNums.Rats

Methods

ratSing :: SRat (n :% 0)

Linking type and value level

class KnownRat r

This class gives the (value-level) rational associated with a type-level rational. There are instances of this class for every combination of a concrete integer and concrete natural.

Minimal complete definition

ratSing

Instances

KnownInt n => KnownRat (n :: k)

Defined in Data.TypeNums.Rats

Methods

ratSing :: SRat n

(KnownInt n, KnownNat d, d /= 0) => KnownRat (n :% d :: Rat)

Defined in Data.TypeNums.Rats

Methods

ratSing :: SRat (n :% d)

(TypeError ('Text "Denominator must not equal 0") :: Constraint) => KnownRat (n :% 0 :: Rat)

Defined in Data.TypeNums.Rats

Methods

ratSing :: SRat (n :% 0)

ratVal :: forall proxy r. KnownRat r => proxy r -> Rational

Get the value associated with a type-level rational

ratVal' :: forall r. KnownRat r => Proxy# r -> Rational

Get the value associated with a type-level rational. The difference between this function and ratVal is that it takes a Proxy# parameter, which has zero runtime representation and so is entirely free.

data SomeRat

This type represents unknown type-level integers.

Since: 0.1.1

Constructors

forall r.KnownRat r => SomeRat (Proxy r)

Instances

Eq SomeRat

Defined in Data.TypeNums.Rats

Methods

(==) :: SomeRat -> SomeRat -> Bool

(/=) :: SomeRat -> SomeRat -> Bool

Ord SomeRat

Defined in Data.TypeNums.Rats

Methods

compare :: SomeRat -> SomeRat -> Ordering

(<) :: SomeRat -> SomeRat -> Bool

(<=) :: SomeRat -> SomeRat -> Bool

(>) :: SomeRat -> SomeRat -> Bool

(>=) :: SomeRat -> SomeRat -> Bool

max :: SomeRat -> SomeRat -> SomeRat

min :: SomeRat -> SomeRat -> SomeRat

Read SomeRat

Defined in Data.TypeNums.Rats

Methods

readsPrec :: Int -> ReadS SomeRat

readList :: ReadS [SomeRat]

readPrec :: ReadPrec SomeRat

readListPrec :: ReadPrec [SomeRat]

Show SomeRat

Defined in Data.TypeNums.Rats

Methods

showsPrec :: Int -> SomeRat -> ShowS

show :: SomeRat -> String

showList :: [SomeRat] -> ShowS

someRatVal :: Rational -> SomeRat

Convert a rational into an unknown type-level rational.

Since: 0.1.1