27 Jul
2011
27 Jul
'11
9:25 p.m.
The deadline for this proposal has passed. Michael Snoyman, Wren ng Thornton and Edward Kmett replied positively. There were no objections. I filed a ticket and attached the patches: http://hackage.haskell.org/trac/ghc/ticket/5349 Thanks, Bas On 8 July 2011 11:56, Bas van Dijk <v.dijk.bas@gmail.com> wrote:
Hello,
The Q type:
newtype Q a = Q { unQ :: forall m. Quasi m => m a }
currently has an instance for Monad and Functor. I would like to propose adding an instance for Applicative as well. Note that this also means that the Quasi class needs to get an Applicative superclass:
class (Monad m, Applicative m, Functor m) => Quasi m where ...
Discussion period: 2 weeks.
Regards,
Bas