[darcs-devel] darcs monad

[Ganesh Sittampalam]

On 27/08/2012 14:12, Florent Becker wrote:
> Le 26/08/2012 21:39, Ganesh Sittampalam a écrit :
>> Hi,
>>
>> I've been going on for a while about the need to replace the IO monad in
>> Darcs with something custom. There's some initial discussion of this in
>> http://bugs.darcs.net/issue1895
>>
>> I hope to get started on this next, after rebase has been merged. I
>> think it's best to write the code around a typeclass, albeit that
>> initially at least there would only be one implementation. In the long
>> run, this should for example make things easier for clients of darcslib
>> that are already running in a custom monad.
>>
> Don't we want a monad transformer over MonadIO for that?
> 
> instance MonadIO m => DarcsMonad (DarcsT m) where […]

Yeah, that makes sense for what the single implementation will be (for
darcs we'd use DarcsT IO, other clients might want e.g. DarcsT Snap).

Cheers,

Ganesh