plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.StdLib.Data.Pair

Description

Built-in pair and related functions.

Synopsis

Documentation

pair :: uni `Contains` (,) => 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)