| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.Pair
Description
Built-in pair and related functions.
Synopsis
- pair :: forall (uni :: Type -> Type) tyname. HasTypeLevel uni (,) => 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
pair :: forall (uni :: Type -> Type) tyname. HasTypeLevel uni (,) => 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)