StackOverflow Questions for Tag: arrow-abstraction

Zhiltsoff Igor

Reputation: 1822

When do Applicatives run their effects?

haskellapplicativeside-effectsarrow-abstraction

Score: 0

Answers: 1

Zhiltsoff Igor

Reputation: 1822

Why do Static Arrows generalise Arrows?

haskellapplicativecategory-theoryarrow-abstraction

Score: 4

Answers: 1

Zhiltsoff Igor

Reputation: 1822

Why is ArrowApply an only option when proving equivalence with Monads?

haskellmonadscategory-theoryarrow-abstraction

Score: 3

Answers: 1

Zhiltsoff Igor

Reputation: 1822

How could sequence be written down for Arrows?

listhaskellapplicativearrow-abstractiontraversable

Score: 1

Answers: 1

Zhiltsoff Igor

Reputation: 1822

Is it possible to write join down for Arrows, not ArrowApply?

haskellmonadscategory-theoryarrow-abstraction

Score: 4

Answers: 1

Zhiltsoff Igor

Reputation: 1822

How to implement uncurry point-free in Haskell without app?

haskelltuplescurryingpointfreearrow-abstraction

Score: 4

Answers: 3

Zhiltsoff Igor

Reputation: 1822

Why does mutual yielding make ArrowApply and Monads equivalent, unlike Arrow and Applicative?

haskellmonadsapplicativecategory-theoryarrow-abstraction

Score: 7

Answers: 1

Jeffrey Benjamin Brown

Reputation: 3709

Haskell: arrows on trees, XML, and Hxt: Transform text leaves into subtrees

xmlhaskelldo-notationarrow-abstractionhxt

Score: 0

Answers: 1

Myuri

Reputation: 55

Why does recursive binding of arrow function in Haskell loop infinitely?

haskellrecursioninfinite-loopinterpretationarrow-abstraction

Score: 5

Answers: 1

user3680029

Reputation: 179

Implementation of `first` in Arrow library

haskellarrow-abstractionmutual-recursioninfinite-recursiondefault-implementation

Score: 2

Answers: 1

Zhiltsoff Igor

Reputation: 1822

How to implement Factorial via Control.Arrow.loop?

haskellfunctional-programmingfactorialarrow-abstraction

Score: 5

Answers: 1

Zhiltsoff Igor

Reputation: 1822

f, g, h :: Kleisli ((->) e) a b <=> f >>> (g &&& h) = (f >>> g) &&& (f >>> h)?

haskellmonadsarrow-abstractionreader-monadkleisli

Score: 5

Answers: 1

dfeuer

Reputation: 48580

Bifunctor vs. Arrow methods

haskelltypeclassarrow-abstractionbifunctor

Score: 11

Answers: 2

Nathan BeDell

Reputation: 2293

"Generalized arrows" and proc notation?

haskellghcarrow-abstractioncategory-abstractions

Score: 12

Answers: 1

Qqwy

Reputation: 5629

How to define a polyvariadic arrow?

haskellarrow-abstraction

Score: 2

Answers: 1

Qqwy

Reputation: 5629

How to work with types that change under composition?

haskelltype-level-computationarrow-abstraction

Score: 7

Answers: 1

Jun Xu

Reputation: 161

Understanding space leak with Arrow

haskellfunctional-programmingarrow-abstraction

Score: 0

Answers: 1

Z-Y.L

Reputation: 1769

Why `data` cause an infinite loop while `newtype` not

haskellnewtypearrow-abstraction

Score: 8

Answers: 1

softshipper

Reputation: 34061

Couldn't match expected type ‘a -> Int’ with actual type ‘IOArrow String Int’

haskellarrow-abstraction

Score: 4

Answers: 1

James

Reputation: 156

Haskell HXT splitting up XML data

haskellarrow-abstractionhxt

Score: 2

Answers: 1

PreviousPage 2Next

StackOverflow Questions for Tag: arrow-abstraction

When do Applicatives run their effects?

Why do Static Arrows generalise Arrows?

Why is ArrowApply an only option when proving equivalence with Monads?

How could sequence be written down for Arrows?

Is it possible to write join down for Arrows, not ArrowApply?

How to implement uncurry point-free in Haskell without app?

Why does mutual yielding make ArrowApply and Monads equivalent, unlike Arrow and Applicative?

Haskell: arrows on trees, XML, and Hxt: Transform text leaves into subtrees

Why does recursive binding of arrow function in Haskell loop infinitely?

Implementation of `first` in Arrow library

How to implement Factorial via Control.Arrow.loop?

f, g, h :: Kleisli ((-&gt;) e) a b &lt;=&gt; f &gt;&gt;&gt; (g &amp;&amp;&amp; h) = (f &gt;&gt;&gt; g) &amp;&amp;&amp; (f &gt;&gt;&gt; h)?

Bifunctor vs. Arrow methods

&quot;Generalized arrows&quot; and proc notation?

How to define a polyvariadic arrow?

How to work with types that change under composition?

Understanding space leak with Arrow

Why `data` cause an infinite loop while `newtype` not

Couldn&#39;t match expected type ‘a -&gt; Int’ with actual type ‘IOArrow String Int’

Haskell HXT splitting up XML data

f, g, h :: Kleisli ((->) e) a b <=> f >>> (g &&& h) = (f >>> g) &&& (f >>> h)?

"Generalized arrows" and proc notation?

Couldn't match expected type ‘a -> Int’ with actual type ‘IOArrow String Int’