Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Built-in pair
and related functions.
Synopsis
- pair ∷ uni `HasTypeLevel` (,) ⇒ 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)