Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Integer

Contents

Orphan instances

Synopsis

data PInteger s
class PIntegral a where
- pdiv :: Term s (a :--> (a :--> a))
- pmod :: Term s (a :--> (a :--> a))
- pquot :: Term s (a :--> (a :--> a))
- prem :: Term s (a :--> (a :--> a))

Documentation

data PInteger s Source #

Plutus BuiltinInteger

Instances

Instances details

PEq PInteger Source #
Instance details Defined in Plutarch.Integer Methods (#==) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source #
POrd PInteger Source #
Instance details Defined in Plutarch.Integer
PPartialOrd PInteger Source #
Instance details Defined in Plutarch.Integer Methods (#<=) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source # (#<) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source #
PIsData PInteger Source #
Instance details Defined in Plutarch.Builtin Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PInteger) -> Term s PInteger Source # pdataImpl :: forall (s :: S). Term s PInteger -> Term s PData Source #
PIntegral PInteger Source #
Instance details Defined in Plutarch.Integer Methods pdiv :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source # pmod :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source # pquot :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source # prem :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source #
DerivePlutusType PInteger Source #
Instance details Defined in Plutarch.Integer Associated Types type DPTStrat PInteger Source #
PlutusType PInteger Source #
Instance details Defined in Plutarch.Integer Associated Types type PInner PInteger :: PType Source # type PCovariant' PInteger Source # type PContravariant' PInteger Source # type PVariant' PInteger Source # Methods pcon' :: forall (s :: S). PInteger s -> Term s (PInner PInteger) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PInteger) -> (PInteger s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PInteger Source #
Instance details Defined in Plutarch.Integer Associated Types type PLifted PInteger = (r :: Type) Source #
PNum PInteger Source #
Instance details Defined in Plutarch.Integer Methods (#+) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PInteger Source # (#-) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PInteger Source # (#*) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PInteger Source # pnegate :: forall (s :: S). Term s (PInteger :--> PInteger) Source # pabs :: forall (s :: S). Term s (PInteger :--> PInteger) Source # psignum :: forall (s :: S). Term s (PInteger :--> PInteger) Source # pfromInteger :: forall (s :: S). Integer -> Term s PInteger Source #
PShow PInteger Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PInteger -> Term s PString Source #
PTryFrom PInteger PPositive Source #
Instance details Defined in Plutarch.Positive Associated Types type PTryFromExcess PInteger PPositive :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PInteger -> ((Term s PPositive, Reduce (PTryFromExcess PInteger PPositive s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PInteger) Source #
Instance details Defined in Plutarch.Builtin Associated Types type PTryFromExcess PData (PAsData PInteger) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PInteger), Reduce (PTryFromExcess PData (PAsData PInteger) s)) -> Term s r) -> Term s r Source #
Generic (PInteger s) Source #
Instance details Defined in Plutarch.Integer Associated Types type Rep (PInteger s) :: Type -> Type Source # Methods from :: PInteger s -> Rep (PInteger s) x Source # to :: Rep (PInteger s) x -> PInteger s Source #
PIsData (PBuiltinPair PInteger (PBuiltinList PData)) Source #
Instance details Defined in Plutarch.Builtin Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PBuiltinPair PInteger (PBuiltinList PData))) -> Term s (PBuiltinPair PInteger (PBuiltinList PData)) Source # pdataImpl :: forall (s :: S). Term s (PBuiltinPair PInteger (PBuiltinList PData)) -> Term s PData Source #
type DPTStrat PInteger Source #
Instance details Defined in Plutarch.Integer type DPTStrat PInteger = PlutusTypeNewtype
type PContravariant' PInteger Source #
Instance details Defined in Plutarch.Integer type PContravariant' PInteger
type PCovariant' PInteger Source #
Instance details Defined in Plutarch.Integer type PCovariant' PInteger
type PInner PInteger Source #
Instance details Defined in Plutarch.Integer type PInner PInteger = DerivedPInner (DPTStrat PInteger) PInteger
type PVariant' PInteger Source #
Instance details Defined in Plutarch.Integer type PVariant' PInteger
type PLifted PInteger Source #
Instance details Defined in Plutarch.Integer type PLifted PInteger = Integer
type PTryFromExcess PInteger PPositive Source #
Instance details Defined in Plutarch.Positive type PTryFromExcess PInteger PPositive = Const () :: S -> Type
type PTryFromExcess PData (PAsData PInteger) Source #
Instance details Defined in Plutarch.Builtin type PTryFromExcess PData (PAsData PInteger)
type Rep (PInteger s) Source #
Instance details Defined in Plutarch.Integer type Rep (PInteger s) = D1 ('MetaData "PInteger" "Plutarch.Integer" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

class PIntegral a where Source #

Minimal complete definition

Nothing

Methods

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

default pdiv :: PIntegral (PInner a) => Term s (a :--> (a :--> a)) Source #

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

default pmod :: PIntegral (PInner a) => Term s (a :--> (a :--> a)) Source #

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

default pquot :: PIntegral (PInner a) => Term s (a :--> (a :--> a)) Source #

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

default prem :: PIntegral (PInner a) => Term s (a :--> (a :--> a)) Source #

Instances

Instances details

PIntegral PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods pdiv :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source # pmod :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source # pquot :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source # prem :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source #
PIntegral PInteger Source #
Instance details Defined in Plutarch.Integer Methods pdiv :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source # pmod :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source # pquot :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source # prem :: forall (s :: S). Term s (PInteger :--> (PInteger :--> PInteger)) Source #
PIntegral PPositive Source #
Instance details Defined in Plutarch.Positive Methods pdiv :: forall (s :: S). Term s (PPositive :--> (PPositive :--> PPositive)) Source # pmod :: forall (s :: S). Term s (PPositive :--> (PPositive :--> PPositive)) Source # pquot :: forall (s :: S). Term s (PPositive :--> (PPositive :--> PPositive)) Source # prem :: forall (s :: S). Term s (PPositive :--> (PPositive :--> PPositive)) Source #

Orphan instances

PConstantDecl Integer Source #
Instance details Associated Types type PConstantRepr Integer Source # type PConstanted Integer :: PType Source # Methods pconstantToRepr :: Integer -> PConstantRepr Integer Source # pconstantFromRepr :: PConstantRepr Integer -> Maybe Integer Source #