imports
module Plutarch.Docs.PBuiltinPair () where
import Plutarch.Prelude ()
PBuiltinPair
Much like in the case of builtin lists, you'll just be working with builtin functions (or rather, Plutarch synonyms to builtin functions) here. You can find everything about
that in builtin-pairs. Feel free to only read the Plutarch
examples.
In particular, you can deconstruct PBuiltinPair
using pfstBuiltin
and psndBuiltin
. You can build PBuiltinPair (PAsData a) (PAsData b)
terms with ppairDataBuiltin
:
ppairDataBuiltin :: Term s (PAsData a :--> PAsData b :--> PBuiltinPair (PAsData a) (PAsData b))