Safe Haskell	None
Language	GHC2021

Plutarch.Pair

Synopsis

data PPair (a :: S -> Type) (b :: S -> Type) (s :: S) = PPair (Term s a) (Term s b)

Documentation

data PPair (a :: S -> Type) (b :: S -> Type) (s :: S) Source #

Plutus encoding of Pairs.

Note: This is represented differently than BuiltinPair. It is SoP encoded.

Constructors

PPair (Term s a) (Term s b)

Instances

Instances details

(PEq a, PEq b) => PEq (PPair a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Pair

Methods

(#==) :: forall (s :: S). Term s (PPair a b) -> Term s (PPair a b) -> Term s PBool Source #

PlutusType (PPair a b) Source #

Instance details

Defined in Plutarch.Pair

Associated Types

type PInner (PPair a b)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Pair type PInner (PPair a b) = PInner (DeriveAsSOPStruct (PPair a b))

Methods

pcon' :: forall (s :: S). PPair a b s -> Term s (PInner (PPair a b)) Source #

pmatch' :: forall (s :: S) (b0 :: S -> Type). Term s (PInner (PPair a b)) -> (PPair a b s -> Term s b0) -> Term s b0 Source #

(PMonoid a, PMonoid b) => PMonoid (PPair a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Pair

Methods

pmempty :: forall (s :: S). Term s (PPair a b) Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s (PPair a b) -> Term s (PPair a b) Source #

(PSemigroup a, PSemigroup b) => PSemigroup (PPair a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Pair

Methods

(#<>) :: forall (s :: S). Term s (PPair a b) -> Term s (PPair a b) -> Term s (PPair a b) Source #

pstimes :: forall (s :: S). Term s PPositive -> Term s (PPair a b) -> Term s (PPair a b) Source #

(PShow a, PShow b) => PShow (PPair a b) Source #

Since: 1.10.0

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)

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Pair

type Rep (PPair a b s) = D1 ('MetaData "PPair" "Plutarch.Pair" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" '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))))

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 #

Generic (PPair a b s) Source #

Instance details

Defined in Plutarch.Pair

Associated Types

type Code (PPair a b s)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Pair type Code (PPair a b s) = GCode (PPair a b s)

Methods

from :: PPair a b s -> Rep (PPair a b s)

to :: Rep (PPair a b s) -> PPair a b s

type PInner (PPair a b) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Pair

type PInner (PPair a b) = PInner (DeriveAsSOPStruct (PPair a b))

type Rep (PPair a b s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Pair

type Rep (PPair a b s) = D1 ('MetaData "PPair" "Plutarch.Pair" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" '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))))

type Code (PPair a b s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Pair

type Code (PPair a b s) = GCode (PPair a b s)