Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Pair

Synopsis

data PPair (a :: PType) (b :: PType) (s :: S) = PPair (Term s a) (Term s b)

Documentation

data PPair (a :: PType) (b :: PType) (s :: S) Source #

Plutus encoding of Pairs.

Note: This is represented differently than BuiltinPair. It is scott-encoded.

Constructors

PPair (Term s a) (Term s b)

Instances

Instances details

(PEq a, PEq b) => PEq (PPair a b) Source #
Instance details Defined in Plutarch.Pair Methods (#==) :: forall (s :: S). Term s (PPair a b) -> Term s (PPair a b) -> Term s PBool Source #
DerivePlutusType (PPair a b) Source #
Instance details Defined in Plutarch.Pair Associated Types type DPTStrat (PPair a b) Source #
PlutusType (PPair a b) Source #
Instance details Defined in Plutarch.Pair Associated Types type PInner (PPair a b) :: PType Source # type PCovariant' (PPair a b) Source # type PContravariant' (PPair a b) Source # type PVariant' (PPair a b) Source # Methods pcon' :: forall (s :: S). PPair a b s -> Term s (PInner (PPair a b)) Source # pmatch' :: forall (s :: S) (b0 :: PType). Term s (PInner (PPair a b)) -> (PPair a b s -> Term s b0) -> Term s b0 Source #
(PShow a, PShow b) => PShow (PPair a b) Source #
Instance details Defined in Plutarch.Pair Methods pshow' :: forall (s :: S). Bool -> Term s (PPair a b) -> Term s PString Source #
Generic (PPair a b s) Source #
Instance details Defined in Plutarch.Pair Associated Types type Rep (PPair a b s) :: Type -> Type Source # Methods from :: PPair a b s -> Rep (PPair a b s) x Source # to :: Rep (PPair a b s) x -> PPair a b s Source #
type DPTStrat (PPair a b) Source #
Instance details Defined in Plutarch.Pair type DPTStrat (PPair a b) = PlutusTypeScott
type PContravariant' (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PContravariant' (PPair a b)
type PCovariant' (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PCovariant' (PPair a b)
type PInner (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PInner (PPair a b) = DerivedPInner (DPTStrat (PPair a b)) (PPair a b)
type PVariant' (PPair a b) Source #
Instance details Defined in Plutarch.Pair type PVariant' (PPair a b)
type Rep (PPair a b s) Source #
Instance details Defined in Plutarch.Pair type Rep (PPair a b s) = D1 ('MetaData "PPair" "Plutarch.Pair" "plutarch-1.9.0-DaxzFvLNVysDL1hkJ4YFrw" 'False) (C1 ('MetaCons "PPair" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s b))))