Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Rational

Synopsis

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

Documentation

data PRational 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 WIP
Instance details Defined in Plutarch.Rational Associated Types type AsHaskell PRational Source # type PlutusRepr PRational Source # Methods toPlutarchRepr :: AsHaskell PRational -> PlutusRepr PRational Source # toPlutarch :: forall (s :: S). AsHaskell PRational -> PLifted s PRational Source # fromPlutarchRepr :: PlutusRepr PRational -> Maybe (AsHaskell PRational) Source # fromPlutarch :: (forall (s :: S). PLifted s PRational) -> Either LiftError (AsHaskell PRational) Source #
PAdditiveGroup PRational Source #	@since WIP
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 :--> (PInteger :--> PRational)) Source #
PAdditiveMonoid PRational Source #	@since WIP
Instance details Defined in Plutarch.Rational Methods pzero :: forall (s :: S). Term s PRational Source #
PAdditiveSemigroup PRational Source #	@since WIP
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 :--> (PPositive :--> PRational)) Source #
PIntegralDomain PRational Source #	@since WIP
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 WIP
Instance details Defined in Plutarch.Rational Methods pone :: forall (s :: S). Term s PRational Source #
PMultiplicativeSemigroup PRational Source #	@since WIP
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 :--> (PPositive :--> PRational)) Source #
PRing PRational Source #	@since WIP
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 :: PType Source # type PCovariant' PRational Source # type PContravariant' PRational Source # type PVariant' PRational Source # Methods pcon' :: forall (s :: S). PRational s -> Term s (PInner PRational) Source # pmatch' :: forall (s :: S) (b :: PType). 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) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). 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) :: Type -> Type Source # 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) :: [[Type]] Methods from :: PRational s -> Rep (PRational s) to :: Rep (PRational s) -> PRational s
Fractional (Term s PRational) Source #	@since WIP
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 PContravariant' PRational Source #
Instance details Defined in Plutarch.Rational type PContravariant' PRational = PContravariant' (DeriveAsSOPRec PRational)
type PCovariant' PRational Source #
Instance details Defined in Plutarch.Rational type PCovariant' PRational = PCovariant' (DeriveAsSOPRec PRational)
type PInner PRational Source #
Instance details Defined in Plutarch.Rational type PInner PRational = PInner (DeriveAsSOPRec PRational)
type PVariant' PRational Source #
Instance details Defined in Plutarch.Rational type PVariant' PRational = PVariant' (DeriveAsSOPRec PRational)
type PTryFromExcess PData (PAsData PRational) Source #
Instance details Defined in Plutarch.Rational type PTryFromExcess PData (PAsData PRational)
type Rep (PRational s) Source #
Instance details Defined in Plutarch.Rational type Rep (PRational s) = D1 ('MetaData "PRational" "Plutarch.Rational" "plutarch-1.9.0-FtN0mhIoM9oEvz7Q98pjWP" '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 :: Term s (PRational :--> PRational) Source #

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

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

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

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

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

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