On 02/01/2012 06:12, Arseniy Alekseyev wrote:
I don't know what to actually do with this after putting it in a *.lhs file.
You can :load *.lhs into ghci the same way you load .hs-files.
I swear I tried this before, but now it suddenly works.
Must be the chaos of stupid random assumptions
On Mon, Jan 2, 2012 at 03:32, Steve Horne sh006d3...@blueyonder.co.ukwrote:
BTW - interesting how the signatures of test1 and test2 are reported - I
hadn't realised monad transformers were relevant there. Of course it does
seem a bit silly to implement both StateT and State when StateT can
I'm having another go at figuring out Monad Transformers, starting at
the same point I've started and stopped the last couple of times. That's
this tutorial...
http://blog.sigfpe.com/2006/05/grok-haskell-monad-transformers.html
Onion layers, lift etc - I get that. But I've never actually got
I don't know what to actually do with this after putting it in a *.lhs file.
You can :load *.lhs into ghci the same way you load .hs-files.
I'm not sure why you were getting the ambiguous type errors. I didn't:
test1 :: StateT Integer Identity (Integer, Integer)
test2 :: StateT [Char] Identity