Proposal for template-haskell: Make Q an instance of Applicative

Bas van Dijk v.dijk.bas at gmail.com
Wed Jul 27 15:25:56 CEST 2011


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 at 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
>



More information about the Libraries mailing list