Hi,
1. Minor correction for your tutorial: reverse . reverse = id is
called the involution property, not idempotency.
2. Writing haddock documentation would definitely increase the chances
for GenCheck wide adoption.
--
Roman I. Cheplyaka :: http://ro-che.info/
On Tue, Jun 19, 2012 at 4:04 PM, Jacques Carette care...@mcmaster.cawrote:
User beware: this is gencheck-0.1, there are still a few rough edges. We
plan to add a Template Haskell feature to this which should make deriving
enumerators automatic for version 0.2.
Can you provide me a quick
On 12-06-23 04:26 AM, Roman Cheplyaka wrote:
Hi,
1. Minor correction for your tutorial: reverse . reverse = id is
called the involution property, not idempotency.
Indeed! Fixed, thanks.
2. Writing haddock documentation would definitely increase the chances
for GenCheck wide
On 12-06-23 04:38 AM, José Pedro Magalhães wrote:
On Tue, Jun 19, 2012 at 4:04 PM, Jacques Carette care...@mcmaster.ca
mailto:care...@mcmaster.ca wrote:
User beware: this is gencheck-0.1, there are still a few rough
edges. We plan to add a Template Haskell feature to this which
Why this function doesn't compile?
phi :: Monad m = StateT s m ()
phi = lift $ return ()
I get (ghc-7.4.1)
Could not deduce (MonadTrans (StateT s))
arising from a use of `lift'
from the context (Monad m)
bound by the type signature for phi :: Monad m = StateT s m ()
at
This is completing the merger of the dbus-core and dbus-client
packages. The new package does everything they can do, but better.
Hackage: http://hackage.haskell.org/package/dbus
Homepage: https://john-millikin.com/software/haskell-dbus/
API reference:
On Sat, Jun 23, 2012 at 12:22 PM, Anton Kholomiov anton.kholom...@gmail.com
wrote:
Why this function doesn't compile?
phi :: Monad m = StateT s m ()
phi = lift $ return ()
I get (ghc-7.4.1)
Could not deduce (MonadTrans (StateT s))
arising from a use of `lift'
from the
No, it wants me to define an instance for
(StateT s) which is supposed to be defined
be the authors of the library.
Actually I discovered that I have two libraries
called transformers.
transformers-0.2.2.0
transformers-0.3.0.0
So when I'm doing
import Control.Monad.Trans (0.2.2.0)
I get
At last..
No, it wants me to define an instance for
(StateT s) which is supposed to be defined
be the authors of the library.
Actually I discovered that I have two libraries
called transformers.
transformers-0.2.2.0
transformers-0.3.0.0
So when I'm doing
import Control.Monad.Trans
On 23 Jun 2012, at 21:27, Anton Kholomiov wrote:
At last..
No, it wants me to define an instance for
(StateT s) which is supposed to be defined
be the authors of the library.
Actually I discovered that I have two libraries
called transformers.
transformers-0.2.2.0
Indeed, thank you. mtl is cruel with me for
the second time uumpf. But it's strange mtl
just reexports transformer's module
2012/6/23 MigMit miguelim...@yandex.ru
On 23 Jun 2012, at 21:27, Anton Kholomiov wrote:
At last..
No, it wants me to define an instance for
(StateT s) which is
Maybe I export State from one library version
and instance from another?
2012/6/23 Anton Kholomiov anton.kholom...@gmail.com
Indeed, thank you. mtl is cruel with me for
the second time uumpf. But it's strange mtl
just reexports transformer's module
2012/6/23 MigMit miguelim...@yandex.ru
On 06/23/2012 09:10 PM, John Millikin wrote:
This is completing the merger of the dbus-core and dbus-client
packages. The new package does everything they can do, but better.
Hackage: http://hackage.haskell.org/package/dbus
Homepage: https://john-millikin.com/software/haskell-dbus/
API
I'm reading Conal Elliot's paper, Push-Pull FRP. At some point he needs an
unambiguous choice operator, essentially to implement select: a future that
waits for one of its future arguments to fire. His implementation of unamb
creates two threads racing on a shared MVar. By his own admission, this
Hi all,
I've been trying to send mail to the cvs-ghc mailng list and the list
seems to be silently dropping my emails. I have:
a) Made sure I was sending mail with the subscribed from address.
b) Unsubscribed and re-subscribed and tried again.
All to no avail. Is there a moderation queue on
Cafe,
I was watching a panel on languages[0] recently and Martin Odersky (the
creator of Scala) said something about Monads:
What's wrong with Monads is that if you go into a Monad you have to change
your whole syntax from scratch. Every single line of your program changes
if you get it in or
16 matches
Mail list logo