Copyright	(c) 2018-2021 Iris Ward
License	BSD3
Maintainer	aditu.venyhandottir@gmail.com
Stability	experimental
Safe Haskell	Trustworthy
Language	Haskell2010

Data.TypeNums.Rats

Contents

Construction
Linking type and value level

Description

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

Construction

data Rat Source #

Type constructor for a rational

Constructors

forall k. k :% Nat

Instances

Instances details

(KnownInt n, KnownNat d, d /= 0) => KnownRat (n :% d :: Rat) Source #
Instance details Defined in Data.TypeNums.Rats Methods ratSing :: SRat (n :% d)
(TypeError ('Text "Denominator must not equal 0") :: Constraint) => KnownRat (n :% 0 :: Rat) Source #
Instance details Defined in Data.TypeNums.Rats Methods ratSing :: SRat (n :% 0)

Linking type and value level

class KnownRat r Source #

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

Instances details

KnownInt n => KnownRat (n :: k) Source #
Instance details Defined in Data.TypeNums.Rats Methods ratSing :: SRat n
(KnownInt n, KnownNat d, d /= 0) => KnownRat (n :% d :: Rat) Source #
Instance details Defined in Data.TypeNums.Rats Methods ratSing :: SRat (n :% d)
(TypeError ('Text "Denominator must not equal 0") :: Constraint) => KnownRat (n :% 0 :: Rat) Source #
Instance details Defined in Data.TypeNums.Rats Methods ratSing :: SRat (n :% 0)

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

Get the value associated with a type-level rational

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

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 Source #

This type represents unknown type-level integers.

Since: 0.1.1

Constructors

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

Instances

Instances details

Eq SomeRat Source #
Instance details Defined in Data.TypeNums.Rats Methods (==) :: SomeRat -> SomeRat -> Bool # (/=) :: SomeRat -> SomeRat -> Bool #
Ord SomeRat Source #
Instance details 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 Source #
Instance details Defined in Data.TypeNums.Rats Methods readsPrec :: Int -> ReadS SomeRat # readList :: ReadS [SomeRat] # readPrec :: ReadPrec SomeRat # readListPrec :: ReadPrec [SomeRat] #
Show SomeRat Source #
Instance details Defined in Data.TypeNums.Rats Methods showsPrec :: Int -> SomeRat -> ShowS # show :: SomeRat -> String # showList :: [SomeRat] -> ShowS #

someRatVal :: Rational -> SomeRat Source #

Convert a rational into an unknown type-level rational.

Since: 0.1.1