On Tue, Jun 5, 2012 at 2:25 PM, Gábor Lehel wrote:
> The encoded version would be:
>
> instance (f a b) => FMap f (HJust a) (HJust b)
> where type f :<$>: (HJust a) = HJust b
>
> and I think this actually demonstrates a *different* limitation, namely that
>
>> The RHS of an associated type declar
As an aside, the Union constraint on epsilon/gepsilon is only needed for
the :+: case, you can search products just fine with any old contravariant
functor, as you'd expect given the existence of the Applicative.
-Edward
On Sat, Jun 9, 2012 at 6:28 PM, Edward Kmett wrote:
> Here is a considerab
Here is a considerably longer worked example using the analogy to J,
borrowing heavily from Wadler:
As J, this doesn't really add any power, but perhaps when used with
non-representable functors like Equivalence/Comparison you can do something
more interesting.
-- Used for Hilbert
{-# LANGUAGE De
I'm pleased to announce the release of version 0.0.1 of
[optparse-applicative][1], a
library for writing command line option parsers in Applicative style.
You can find an introduction and tutorial on the [github page][2], and an
explanation of the internals on [my blog][3].
[1]: http://hackage.h
Hi,
some time ago I wrote lucienne[1] using the happstack framework:
> Lucienne is a simple server side feed aggregator/reader that helps
> you managing your subscribed feeds. It provides multi user support
> using basic access authentication. A running mongoDB serves as
> database backend.
Fo
Oh my god, that was it?
I looked at your code for half an hour, and I've never thought about
that... That is really misleading.
So vector forces you to use strict ST? (That's right:
http://hackage.haskell.org/packages/archive/primitive/0.4.1/doc/html/Control-Monad-Primitive.html#t:PrimMonadshows
th
Ok, the error was: I was using Control.Monad.ST.Lazy. Importing
Control.Monad.ST compiles immediately without problem. (Is this because
I'm using unboxed mutable vectors?)
Now, that's a little bit odd.
It's clear that the strict and lazy forms of ST are different types. But
unfortunately they
> After glancing through the haddock documentation and some googling, I
> can't tell if there's a supported
> way to link to a section heading in haddock documentation. Is there?
There are several things that could be of interest.
- There is support for named anchors [1]. I guess this is your b