Re: [Haskell-cafe] [ANN] Cumino 0.2 - Now supports pretty indentation through stylish-haskell

2012-09-13 Thread Alfredo Di Napoli
You're welcome :) Using Cumino your workflow should be faster and leaner. I encourage to try it out and let me have feedback! Cheers, A. On 12 September 2012 21:43, Roman Cheplyaka r...@ro-che.info wrote: Ah, okay. I was just confused by the fact that it uses tmux, and thought that I was

Re: [Haskell-cafe] [ANN] Cumino 0.2 - Now supports pretty indentation through stylish-haskell

2012-09-13 Thread Alfredo Di Napoli
Nice bridge between vim and tmux! Thanks! Would you mind add supporting for `urxvtc'? urxvtc's -e option is followed by a list of options instead of a string. urxvtc -e sh -c 'echo a' xterm -e echo a I would like to, and in fact I've already tried, but urxvt is trickier than

[Haskell-cafe] How Type inference work in presence of Functional Dependencies

2012-09-13 Thread satvik chauhan
Consider the code below : {-# LANGUAGE MultiParamTypeClasses,FlexibleInstances,FunctionalDependencies,UndecidableInstances,FlexibleContexts #-} class Foo a c | a - c instance Foo Int Float f :: (Foo Int a) = Int - a f = undefined Now when I see the inferred type of f in ghci :t f f :: Int -

Re: [Haskell-cafe] How Type inference work in presence of Functional Dependencies

2012-09-13 Thread Erik Hesselink
I don't know if this is a bug or not, but the translation to type families works: class Foo a where type FooT a :: * instance Foo Int where type FooT Int = Float f :: Int - FooT Int f = undefined g :: Int - Float g = undefined h :: Int - FooT Int h = g You don't even need the class

[Haskell-cafe] Fwd: How Type inference work in presence of Functional Dependencies

2012-09-13 Thread Dan Doel
Copying the mailing list, because I forgot. On Thu, Sep 13, 2012 at 5:18 AM, satvik chauhan mystic.sat...@gmail.com wrote: Consider the code below : {-# LANGUAGE MultiParamTypeClasses,FlexibleInstances,FunctionalDependencies,UndecidableInstances,FlexibleContexts #-} class Foo a c | a - c

Re: [Haskell-cafe] [ANN] Cumino 0.2 - Now supports pretty indentation through stylish-haskell

2012-09-13 Thread Brandon Allbery
On Thu, Sep 13, 2012 at 2:22 AM, Alfredo Di Napoli alfredo.dinap...@gmail.com wrote: urxvtc -e sh -c 'echo a' xterm -e echo a I would like to, and in fact I've already tried, but urxvt is trickier than other shells. Using the command you gave me does not create a new window,

Re: [Haskell-cafe] [ANN] Cumino 0.2 - Now supports pretty indentation through stylish-haskell

2012-09-13 Thread Alfredo Di Napoli
If I remember correctly, I've also tried that combinations, without success. Anyway, I'm not at work so I can't test Cumino against gnome and Xmonad until tomorrow morning: I'll keep you posted! Bye, Alfredo I think you misunderstood; as I read it (and as I would expect it to work given the

[Haskell-cafe] ANNOUNCE: Groundhog 0.1.0.1 - high-level database library

2012-09-13 Thread Boris Lykah
I am happy to announce a new version of Groundhog, a library for fast high-level database access: http://hackage.haskell.org/package/groundhog http://hackage.haskell.org/package/groundhog-th http://hackage.haskell.org/package/groundhog-postgresql

Re: [Haskell-cafe] ANNOUNCE: Groundhog 0.1.0.1 - high-level database library

2012-09-13 Thread Tom Murphy
How does this compare with other high-level Haskell db libraries? Tom On Sep 13, 2012 2:25 PM, Boris Lykah lyk...@gmail.com wrote: I am happy to announce a new version of Groundhog, a library for fast high-level database access: http://hackage.haskell.org/package/groundhog

Re: [Haskell-cafe] Either Monad and Laziness

2012-09-13 Thread wren ng thornton
On 9/12/12 5:37 PM, Francesco Mazzoli wrote: At Wed, 12 Sep 2012 12:04:31 -0300, Eric Velten de Melo wrote: It would be really awesome, though, if it were possible to use a parser written in Parsec with this, in the spirit of avoiding code rewriting and enhancing expressivity and abstraction.

[Haskell-cafe] How do I generate random numbers using random-fu, with platform-agnostic code?

2012-09-13 Thread Andrew Pennebaker
I can't figure out how to use Data.Random.Source.IO to generate random numbers in a multiplatform way. I can generate random numbers in Unix using Data.Random.Source.DevRandom, and there is an example in the GitHub documentation for Windows using Data.Random.Source.MWC, but there is no example

[Haskell-cafe] Is Hackage down?

2012-09-13 Thread C K Kashyap
Is it just me or is Hackage indeed been going down more frequently of late? Regards, Kashyap ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Is Hackage down?

2012-09-13 Thread damodar kulkarni
It shows hackage down: http://www.downforeveryoneorjustme.com/http://hackage.haskell.org/ - damodar On Fri, Sep 14, 2012 at 10:33 AM, C K Kashyap ckkash...@gmail.com wrote: Is it just me or is Hackage indeed been going down more frequently of late? Regards, Kashyap

[Haskell-cafe] What is the good way to work with list comprehension and UTCTime?

2012-09-13 Thread Magicloud Magiclouds
Hi, Simple usage, I could make an instance of Enum to UTCTime, so [utcTime..] could work. But that is so stiff. How if sometimes I want to step by 1 min, sometimes I want to step by 1 sec? So I think some way like [ t | addUTCTime last 60 ] could be nice. But I cannot figure it out Any