Par exemple, étant donné une valeur, v code> et une fonction f code>, est-il un moyen d'obtenir (fv, v) code> point Gratuit? P>
3 Réponses :
import Control.Arrow (g &&& f) v = (g v, f v) -- ergo, (id &&& f) v = (v, f v) (f &&& id) v = (f v, v)
Ou aussi à partir de contrôler.arrow code>, premier code> et second code>.
Alternativement, notez que pour les fonctions afin que vous puissiez écrire p> < Pré> xxx pré> p> h code> et f code> avec des types appropriés,
Je ne pense pas que c'est une section tuple, je pense que c'est standard.
J'aime ça depuis que cela évite l'importation.
Que diriez-vous d'utiliser l'instance d'application code> d'application code> pour par exemple p> (->) code>