plutarch

Safe Haskell	None
Language	GHC2021

Plutarch.Rational

Synopsis

data PRational (s :: S) = PRational (Term s PInteger) (Term s PPositive)
preduce :: forall (s :: S). Term s (PRational :--> PRational)
pnumerator :: forall (s :: S). Term s (PRational :--> PInteger)
pdenominator :: forall (s :: S). Term s (PRational :--> PPositive)
pfromInteger :: forall (s :: S). Term s (PInteger :--> PRational)
pround :: forall (s :: S). Term s (PRational :--> PInteger)
ptruncate :: forall (s :: S). Term s (PRational :--> PInteger)
pproperFraction :: forall (s :: S). Term s (PRational :--> PPair PInteger PRational)

Documentation

data PRational (s :: S) Source #

A Scott-encoded rational number, with a guaranteed positive denominator (and thus, a canonical form).

Note

This is not the Plutarch equivalent of a Plutus Rational; for this, you want PRationalData from plutarch-ledger-api. PRational is designed to optimize for computation: if you want to do any serious work with rational numbers that isn't just passing them around, you want to use (or convert to) PRational.

Constructors

PRational (Term s PInteger) (Term s PPositive)

Instances

Instances details

PEq PRational Source #

Instance details

Defined in Plutarch.Rational

Methods

(#==) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #

PLiftable PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Associated Types

type AsHaskell PRational
Instance details Defined in Plutarch.Rational type AsHaskell PRational = Rational
type PlutusRepr PRational
Instance details Defined in Plutarch.Rational type PlutusRepr PRational = PLiftedClosed PRational

Methods

haskToRepr :: AsHaskell PRational -> PlutusRepr PRational Source #

reprToHask :: PlutusRepr PRational -> Either LiftError (AsHaskell PRational) Source #

reprToPlut :: forall (s :: S). PlutusRepr PRational -> PLifted s PRational Source #

plutToRepr :: (forall (s :: S). PLifted s PRational) -> Either LiftError (PlutusRepr PRational) Source #

PAdditiveGroup PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

pnegate :: forall (s :: S). Term s (PRational :--> PRational) Source #

(#-) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source #

pscaleInteger :: forall (s :: S). Term s PRational -> Term s PInteger -> Term s PRational Source #

PAdditiveMonoid PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

pzero :: forall (s :: S). Term s PRational Source #

pscaleNatural :: forall (s :: S). Term s PRational -> Term s PNatural -> Term s PRational Source #

PAdditiveSemigroup PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

(#+) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source #

pscalePositive :: forall (s :: S). Term s PRational -> Term s PPositive -> Term s PRational Source #

PIntegralDomain PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

psignum :: forall (s :: S). Term s (PRational :--> PRational) Source #

pabs :: forall (s :: S). Term s (PRational :--> PRational) Source #

PMultiplicativeMonoid PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

pone :: forall (s :: S). Term s PRational Source #

ppowNatural :: forall (s :: S). Term s PRational -> Term s PNatural -> Term s PRational Source #

PMultiplicativeSemigroup PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

(#*) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source #

ppowPositive :: forall (s :: S). Term s PRational -> Term s PPositive -> Term s PRational Source #

PRing PRational Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

pfromInteger :: forall (s :: S). Integer -> Term s PRational Source #

POrd PRational Source #

Instance details

Defined in Plutarch.Rational

Methods

(#<=) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #

(#<) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #

pmax :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source #

pmin :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source #

PlutusType PRational Source #

Instance details

Defined in Plutarch.Rational

Associated Types

type PInner PRational
Instance details Defined in Plutarch.Rational type PInner PRational = PInner (DeriveAsSOPRec PRational)

Methods

pcon' :: forall (s :: S). PRational s -> Term s (PInner PRational) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PRational) -> (PRational s -> Term s b) -> Term s b Source #

PShow PRational Source #

Instance details

Defined in Plutarch.Rational

Methods

pshow' :: forall (s :: S). Bool -> Term s PRational -> Term s PString Source #

PTryFrom PData (PAsData PRational) Source #

NOTE: This instance produces a verified PPositive as the excess output.

Instance details

Defined in Plutarch.Rational

Associated Types

type PTryFromExcess PData (PAsData PRational)
Instance details Defined in Plutarch.Rational type PTryFromExcess PData (PAsData PRational) = Flip Term PPositive

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PRational), Reduce (PTryFromExcess PData (PAsData PRational) s)) -> Term s r) -> Term s r Source #

Generic (PRational s) Source #

Instance details

Defined in Plutarch.Rational

Associated Types

type Rep (PRational s)

Instance details

Defined in Plutarch.Rational

type Rep (PRational s) = D1 ('MetaData "PRational" "Plutarch.Rational" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'False) (C1 ('MetaCons "PRational" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PPositive))))

Methods

from :: PRational s -> Rep (PRational s) x Source #

to :: Rep (PRational s) x -> PRational s Source #

Generic (PRational s) Source #

Instance details

Defined in Plutarch.Rational

Associated Types

type Code (PRational s)
Instance details Defined in Plutarch.Rational type Code (PRational s) = GCode (PRational s)

Methods

from :: PRational s -> Rep (PRational s)

to :: Rep (PRational s) -> PRational s

Fractional (Term s PRational) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Rational

Methods

(/) :: Term s PRational -> Term s PRational -> Term s PRational Source #

recip :: Term s PRational -> Term s PRational Source #

fromRational :: Rational -> Term s PRational Source #

type AsHaskell PRational Source #

Instance details

Defined in Plutarch.Rational

type AsHaskell PRational = Rational

type PlutusRepr PRational Source #

Instance details

Defined in Plutarch.Rational

type PlutusRepr PRational = PLiftedClosed PRational

type PInner PRational Source #

Instance details

Defined in Plutarch.Rational

type PInner PRational = PInner (DeriveAsSOPRec PRational)

type PTryFromExcess PData (PAsData PRational) Source #

Instance details

Defined in Plutarch.Rational

type PTryFromExcess PData (PAsData PRational) = Flip Term PPositive

type Rep (PRational s) Source #

Instance details

Defined in Plutarch.Rational

type Rep (PRational s) = D1 ('MetaData "PRational" "Plutarch.Rational" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'False) (C1 ('MetaCons "PRational" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PPositive))))

type Code (PRational s) Source #

Instance details

Defined in Plutarch.Rational

type Code (PRational s) = GCode (PRational s)

preduce :: forall (s :: S). Term s (PRational :--> PRational) Source #

pnumerator :: forall (s :: S). Term s (PRational :--> PInteger) Source #

pdenominator :: forall (s :: S). Term s (PRational :--> PPositive) Source #

pfromInteger :: forall (s :: S). Term s (PInteger :--> PRational) Source #

pround :: forall (s :: S). Term s (PRational :--> PInteger) Source #

ptruncate :: forall (s :: S). Term s (PRational :--> PInteger) Source #

pproperFraction :: forall (s :: S). Term s (PRational :--> PPair PInteger PRational) Source #