plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Examples.Data.Pair

Synopsis

Documentation

obothPairTermLike term TyName Name DefaultUni (Either DefaultFun ExtensionFun) ⇒ term () Source #

Apply a monomorphic function to both components of a pair.

/\(a :: *) -> \(f : a -> a) (p : pair a a) ->
    comma {a} {a} (f (fst {a} {a} p)) (f (snd {a} {a} p))