Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Positive

Synopsis

data PPositive s
ppositive :: Term s (PInteger :--> PMaybe PPositive)
ptryPositive :: Term s (PInteger :--> PPositive)

Documentation

data PPositive s Source #

Instances

Instances details

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

ppositive :: Term s (PInteger :--> PMaybe PPositive) Source #

Build a PPositive from a PInteger. Yields PNothing if argument is zero.

ptryPositive :: Term s (PInteger :--> PPositive) Source #

Partial version of PPositive. Errors if argument is zero.