| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Examples.Data.Pair
Synopsis
- obothPair ∷ TermLike term TyName Name DefaultUni (Either DefaultFun ExtensionFun) ⇒ term ()
Documentation
obothPair ∷ TermLike 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))