Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.Tuple

Synopsis

pfstTuple :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (PTuple a b :--> a)
psndTuple :: forall (b :: S -> Type) (a :: S -> Type) (s :: S). PIsData b => Term s (PTuple a b :--> b)

Documentation

pfstTuple :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (PTuple a b :--> a) Source #

Extract the first component of a PTuple.

Since: 3.0.3

psndTuple :: forall (b :: S -> Type) (a :: S -> Type) (s :: S). PIsData b => Term s (PTuple a b :--> b) Source #

Extract the second component of a PTuple.

Since: 3.0.3