Haskell Applicative and ErrorT?

Posted by me2 on Stack Overflow See other posts from Stack Overflow or by me2
Published on 2010-03-20T06:01:59Z Indexed on 2010/03/20 6:11 UTC
Read the original article Hit count: 223

Filed under:

haskell

|

applicative

Why is it that I can do the following:

getW1 :: ErrorT String Get Word8
f1 = (+1) <$> getW1

but I cannot do:

f2 = (+) <$> getW1 <*> getW1

?

© Stack Overflow or respective owner

Related posts about haskell

Learning Haskell: How to remove an item from a List in Haskell

as seen on Stack Overflow - Search for 'Stack Overflow'
Trying to learn Haskell. I am trying to write a simple function to remove a number from a list without using built-in function (delete...I think). For the sake of simplicity, let's assume that the input parameter is an Integer and the list is an Integer list. Here is the code I have, Please tell me… >>> More
Using Data.Heap in Haskell, or reading Haskell docs for a beginner

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to use Haskells Data.Heap module, but I'm incapable of even using it with integers. The only heap I've been capable of using is "empty", which does not take any arguments. Later on I'll figure out how to instance for my needs, but for now I'd be glad if I was even able to test it with… >>> More
What kind of things are easy in Haskell and hard in Scala, and vice versa?

as seen on Programmers - Search for 'Programmers'
There has been some intermingling of Scala and Haskell communities, and I have noticed now and then people commenting on stuff that's supposed to be easy in Haskell and hard and Scala. Less often (maybe because I read Scala questions, not Haskell ones), I see someone mentioning that something in Scala… >>> More
Haskell's cabal dependency problem with happy

as seen on Programmers - Search for 'Programmers'
I have problems installing ghc-mod on my linux machine. cabal worries about "happy" not being available in versione = 1.17: $ cabal install ghc-mod Resolving dependencies... [1 of 1] Compiling Main ( /tmp/haskell-src-exts-1.14.0-1357/haskell-src-exts-1.14.0/Setup.hs, /tmp/haskell-src-exts-1… >>> More
Understanding Haskell's fibonacci

as seen on Stack Overflow - Search for 'Stack Overflow'
fibs :: [Int] fibs = 0 : 1 : [ a + b | (a, b) <- zip fibs (tail fibs)] This generates the Fibonacci sequence. I understand the behaviour of the guards, of :, zip and tail, but I don't understand <-. What is it doing here? >>> More

Related posts about applicative

Haskell Applicative and ErrorT?

as seen on Stack Overflow - Search for 'Stack Overflow'
Why is it that I can do the following: getW1 :: ErrorT String Get Word8 f1 = (+1) <$> getW1 but I cannot do: f2 = (+) <$> getW1 <*> getW1 ? >>> More
Simple Logger for Applicative and ASP Net

as seen on Code Project - Search for 'Code Project'
Limit the size of your logging >>> More
Talend dévoile sa roadmap produits 2011 pour sa plate-forme unifiée d'intégration applicative et de gestion de données

as seen on Developper.com - Search for 'Developper.com'
Talend dévoile sa roadmap produits 2011 Pour sa plate-forme unifiée d'intégration applicative et de gestion de données Talend, l'un des leaders mondiaux des logiciels open source, a livré aujourd'hui les premiers détails de sa roadmap produits, qui intègre les produits et la technologie issus… >>> More
How and why is ap defined as liftM2 id in Haskell

as seen on Stack Overflow - Search for 'Stack Overflow'
Whilst trying to better understand Applicative, I looked at the definition of <*, which tends to be defined as ap, which in turn is defined as: ap :: (Monad m) => m (a -> b) -> m a -> m b ap = liftM2 id Looking at the type signatures for liftM2 and… >>> More
What advantage does Monad give us over an Applicative?

as seen on Stack Overflow - Search for 'Stack Overflow'
I've read this article, but didn't understand last section. The author says that Monad gives us context sensitivity, but it's possible to achieve the same result using only an Applicative instance: let maybeAge = (\futureYear birthYear -> if futureYear < birthYear then yearDiff birthYear… >>> More