plutarch-extra-1.2.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Plutarch.Extra.RationalData

Synopsis

Documentation

data PRationalData s Source #

A Rational type that corresponds to the data encoding used by Rational.

Instances

Instances details
PEq PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Methods

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

POrd PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

PPartialOrd PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Methods

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

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

PIsData PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PRationalData) -> Term s PRationalData Source #

pdataImpl :: forall (s :: S). Term s PRationalData -> Term s PData Source #

PDataFields PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type PFields PRationalData :: [PLabeledType] Source #

Methods

ptoFields :: forall (s :: S). Term s PRationalData -> Term s (PDataRecord (PFields PRationalData)) Source #

DerivePlutusType PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type DPTStrat PRationalData Source #

PlutusType PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type PInner PRationalData :: PType Source #

type PCovariant' PRationalData Source #

type PContravariant' PRationalData Source #

type PVariant' PRationalData Source #

Methods

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

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

PUnsafeLiftDecl PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type PLifted PRationalData = (r :: Type) Source #

PTryFrom PData PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type PTryFromExcess PData PRationalData :: PType Source #

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PRationalData, Reduce (PTryFromExcess PData PRationalData s)) -> Term s r) -> Term s r Source #

PTryFrom PData (PAsData PRationalData) Source #

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

Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type PTryFromExcess PData (PAsData PRationalData) :: PType Source #

Methods

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

Generic (PRationalData s) Source # 
Instance details

Defined in Plutarch.Extra.RationalData

Associated Types

type Rep (PRationalData s) :: Type -> Type Source #

Methods

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

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

type PFields PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PFields PRationalData = Helper (PInner PRationalData)
type DPTStrat PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type DPTStrat PRationalData = PlutusTypeData
type PContravariant' PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PContravariant' PRationalData = All2 PContravariant'' (PCode PRationalData)
type PCovariant' PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PCovariant' PRationalData = All2 PCovariant'' (PCode PRationalData)
type PInner PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PInner PRationalData = DerivedPInner (DPTStrat PRationalData) PRationalData
type PVariant' PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PVariant' PRationalData = All2 PVariant'' (PCode PRationalData)
type PLifted PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PLifted PRationalData = Rational
type PTryFromExcess PData PRationalData Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PTryFromExcess PData PRationalData
type PTryFromExcess PData (PAsData PRationalData) Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type PTryFromExcess PData (PAsData PRationalData)
type Rep (PRationalData s) Source # 
Instance details

Defined in Plutarch.Extra.RationalData

type Rep (PRationalData s) = D1 ('MetaData "PRationalData" "Plutarch.Extra.RationalData" "plutarch-extra-1.2.0-91uygKr8TxWJtWVzF7aoW8" 'True) (C1 ('MetaCons "PRationalData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["numerator" := PInteger, "denominator" := PPositive])))))

prationalFromData :: ClosedTerm (PRationalData :--> PRational) Source #

Orphan instances