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

PlutusCore.StdLib.Data.Pair

Description

Built-in pair and related functions.

Synopsis

Documentation

pair ∷ uni `HasTypeLevel` (,) ⇒ Type tyname uni () Source #

(,) as a built-in PLC type.

fstPair ∷ TermLike term tyname name DefaultUni DefaultFun ⇒ term () Source #

fst as a PLC term.

/\(a :: *) (b :: *) -> \(p : pair a b) -> fst {a} {b} p

sndPair ∷ TermLike term tyname name DefaultUni DefaultFun ⇒ term () Source #

snd as a PLC term.

/\(a :: *) (b :: *) -> \(p : pair a b) -> snd {a} {b} p

uncurry ∷ TermLike term TyName Name DefaultUni DefaultFun ⇒ term () Source #

uncurry as a PLC term.

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