Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Positive

Synopsis

data PPositive (s :: S)
ppositive :: Term s (PInteger :--> PMaybe PPositive)
ptryPositive :: Term s (PInteger :--> PPositive)
data Positive
mkPositive :: Integer -> Maybe Positive

Documentation

data PPositive (s :: S) Source #

Instances

Instances details

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 #
PCountable PPositive Source #	@since WIP
Instance details Defined in Plutarch.Enum Methods psuccessor :: forall (s :: S). Term s (PPositive :--> PPositive) Source # psuccessorN :: forall (s :: S). Term s (PPositive :--> (PPositive :--> PPositive)) 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 #
PEq PPositive Source #
Instance details Defined in Plutarch.Positive Methods (#==) :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PBool Source #
PLiftable PPositive Source #
Instance details Defined in Plutarch.Positive Associated Types type AsHaskell PPositive Source # type PlutusRepr PPositive Source # Methods toPlutarchRepr :: AsHaskell PPositive -> PlutusRepr PPositive Source # toPlutarch :: forall (s :: S). AsHaskell PPositive -> PLifted s PPositive Source # fromPlutarchRepr :: PlutusRepr PPositive -> Maybe (AsHaskell PPositive) Source # fromPlutarch :: (forall (s :: S). PLifted s PPositive) -> Either LiftError (AsHaskell PPositive) Source #
POrd PPositive Source #
Instance details Defined in Plutarch.Positive Methods pmax :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PPositive Source # pmin :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PPositive Source #
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 # (#>=) :: 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 #
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 AsHaskell PPositive Source #	@since WIP
Instance details Defined in Plutarch.Positive type AsHaskell PPositive = AsHaskell (DeriveNewtypePLiftable PPositive PInteger Positive)
type PlutusRepr PPositive Source #
Instance details Defined in Plutarch.Positive type PlutusRepr PPositive = PlutusRepr (DeriveNewtypePLiftable PPositive PInteger Positive)
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.9.0-DaxzFvLNVysDL1hkJ4YFrw" '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.

data Positive Source #

@since WIP

Instances

Instances details

Arbitrary Positive Source #	@since WIP
Instance details Defined in Plutarch.Positive Methods arbitrary :: Gen Positive shrink :: Positive -> [Positive]
CoArbitrary Positive Source #	@since WIP
Instance details Defined in Plutarch.Positive Methods coarbitrary :: Positive -> Gen b -> Gen b
Function Positive Source #	@since WIP
Instance details Defined in Plutarch.Positive Methods function :: (Positive -> b) -> Positive :-> b
Show Positive Source #
Instance details Defined in Plutarch.Positive Methods showsPrec :: Int -> Positive -> ShowS Source # show :: Positive -> String Source # showList :: [Positive] -> ShowS Source #
Eq Positive Source #
Instance details Defined in Plutarch.Positive Methods (==) :: Positive -> Positive -> Bool Source # (/=) :: Positive -> Positive -> Bool Source #
Ord Positive Source #
Instance details Defined in Plutarch.Positive Methods compare :: Positive -> Positive -> Ordering Source # (<) :: Positive -> Positive -> Bool Source # (<=) :: Positive -> Positive -> Bool Source # (>) :: Positive -> Positive -> Bool Source # (>=) :: Positive -> Positive -> Bool Source # max :: Positive -> Positive -> Positive Source # min :: Positive -> Positive -> Positive Source #
Pretty Positive Source #	@since WIP
Instance details Defined in Plutarch.Positive Methods pretty :: Positive -> Doc ann prettyList :: [Positive] -> Doc ann

mkPositive :: Integer -> Maybe Positive Source #

@since WIP