Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Rational

Contents

Orphan instances

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)
class PFractional (a :: S -> Type) where
- (#/) :: Term s a -> Term s a -> Term s a
- precip :: Term s (a :--> a)
- pfromRational :: Term s (PRational :--> a)

Documentation

data PRational s Source #

Note: This type is _not_ the synonym of Rational.

Constructors

PRational (Term s PInteger) (Term s PPositive)

Instances

Instances details

PIsData PRational Source #	This instance _does not_ correspond to `Rational`s data encoding.
Instance details Defined in Plutarch.Rational Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRational) -> Term s PRational Source # pdataImpl :: forall (s :: S). Term s PRational -> Term s PData Source #
PEq PRational Source #
Instance details Defined in Plutarch.Rational Methods (#==) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #
POrd PRational Source #
Instance details Defined in Plutarch.Rational Methods 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 #
PPartialOrd 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 # (#>=) :: 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 #
DerivePlutusType PRational Source #
Instance details Defined in Plutarch.Rational Associated Types type DPTStrat 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 #
PNum PRational Source #
Instance details Defined in Plutarch.Rational Methods (#+) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source # (#-) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source # (#*) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source # pnegate :: forall (s :: S). Term s (PRational :--> PRational) Source # pabs :: forall (s :: S). Term s (PRational :--> PRational) Source # psignum :: forall (s :: S). Term s (PRational :--> PRational) Source # pfromInteger :: forall (s :: S). Integer -> Term s PRational Source #
PFractional PRational Source #
Instance details Defined in Plutarch.Rational Methods (#/) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source # precip :: forall (s :: S). Term s (PRational :--> PRational) Source # pfromRational :: forall (s :: S). Term s (PRational :--> PRational) 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 #
type DPTStrat PRational Source #
Instance details Defined in Plutarch.Rational type DPTStrat PRational = PlutusTypeScott
type PContravariant' PRational Source #
Instance details Defined in Plutarch.Rational type PContravariant' PRational
type PCovariant' PRational Source #
Instance details Defined in Plutarch.Rational type PCovariant' PRational
type PInner PRational Source #
Instance details Defined in Plutarch.Rational type PInner PRational = DerivedPInner (DPTStrat PRational) PRational
type PVariant' PRational Source #
Instance details Defined in Plutarch.Rational type PVariant' 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-DaxzFvLNVysDL1hkJ4YFrw" '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))))

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 #

class PFractional (a :: S -> Type) where Source #

Methods

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

precip :: Term s (a :--> a) Source #

pfromRational :: Term s (PRational :--> a) Source #

Instances

Instances details

PFractional PRational Source #
Instance details Defined in Plutarch.Rational Methods (#/) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PRational Source # precip :: forall (s :: S). Term s (PRational :--> PRational) Source # pfromRational :: forall (s :: S). Term s (PRational :--> PRational) Source #

Orphan instances

(PNum a, PFractional a) => Fractional (Term s a) Source #
Instance details Methods (/) :: Term s a -> Term s a -> Term s a Source # recip :: Term s a -> Term s a Source # fromRational :: Rational -> Term s a Source #