arrows

3La chaleur

2Répondre

Comment utiliser les flèches ici?

Tenir compte foldr (\x (a,b) -> (a || x==2, b || x==7)) (False,False) [1..6] --(True,False) Ignorant le fait que cela pourrait être écrit facilement en utilisant elem, j'ai le sentiment fort que je

haskell arrows 2012-03-09

---

1La chaleur

1Répondre

Obtenir le nième élément de la page avec XmlArrow?

Suite à cette page scraping tutorial l'auteur obtient une collection de toutes les images sur la page comme suit: css :: ArrowXml a => String -> a XmlTree XmlTree css tag = multi (hasName tag) imag

haskell arrows hxt 2013-01-10

---

3La chaleur

1Répondre

meilleure utilisation de HXT et flèches

J'ai utilisé hxt sans problème, mais il y avait un problème depuis le début. Voir , imaginez la pièce de code suivante liftKeys = atTag "myKeys" >>> proc e -> do key1 <- getAttrValue "name"

haskell arrows hxt 2012-02-04

---

9La chaleur

2Répondre

récursion observable (ou liaison) dans les flèches

J'essaie de trouver un moyen de traduire la notation récursive normale tels que comme le | fib | fonction ci-dessous à une flèche, en conservant autant de la structure de la notation récursive que pos

haskell recursion arrows 2012-10-11

---

12La chaleur

2Répondre

Arrow-classe de Haskell en Agda et -> dans Agda

J'ai deux questions étroitement liées: Tout d'abord, comment la classe Arrow Haskell être modélisé/représenté dans Agda? class Arrow a where arr :: (b -> c) -> a b c (>>>) :: a b c -> a c

haskell agda arrows 2012-10-28

---