| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.Pair
Description
Built-in
pair
and related functions.
Synopsis
- pair :: uni `Contains` (,) => Type TyName uni ()
- fstPair :: TermLike term TyName Name DefaultUni DefaultFun => term ()
- sndPair :: TermLike term TyName Name DefaultUni DefaultFun => term ()
- uncurry :: TermLike term TyName Name DefaultUni DefaultFun => term ()
Documentation
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)