Ctl.Internal.Types.Rational

newtype Rational

Rational is a newtype over Ratio with a smart constructor reduce that allows to create a Rational safely. The constructor is not exposed. Rational also enforces the denominator to always be positive.

Instances

• Show Rational
• Eq Rational
• Ord Rational
• Semiring Rational
• Ring Rational
• CommutativeRing Rational
• EncodeAeson Rational
• DecodeAeson Rational
• EuclideanRing Rational
• ToData Rational
• FromData Rational

class RationalComponent (t :: Type)  where

Members

• reduce :: t -> t -> Maybe Rational

  Our reduce mirrors PlutusTx.Ratio.ratio, not PlutusTx.Ratio.reduce. Plutus' reduce does not do any positive denominator normalisation

  Also see: https://playground.plutus.iohkdev.io/doc/haddock/plutus-tx/html/src/PlutusTx.Ratio.html#ratio https://playground.plutus.iohkdev.io/doc/haddock/plutus-tx/html/src/PlutusTx.Ratio.html#reduce

Instances

• RationalComponent BigInt
• RationalComponent Int

Operator alias for Ctl.Internal.Types.Rational.reduce (left-associative / precedence 7)

recip :: Rational -> Maybe Rational

Gives the reciprocal of a Rational. Returns Nothing if applied to zero since the reciprocal of zero is mathematically undefined.

numerator :: Rational -> BigInt

Get the numerator of a Rational as BigInt.

denominator :: Rational -> BigInt

Get the denominator of a Rational as BigInt.

toUnitInterval :: Rational -> Maybe UnitInterval

fromNumber :: Number -> Maybe Rational