[web-devel] Type-safe URL handling
jeremy at n-heptane.com
Tue Mar 23 15:36:28 EDT 2010
What happens if you have,
data UserRoute = Find Int Int
you need a instance:
instance (GToURL f, GToURL g) => GToURL (f :*: g)
But the fromURL / gfromURL functions do not have a way to indicate how much
of the input they consumed -- which I think will be a problem?
I believe the current code works because it assumes that each call to
gfromURL will consume all the remaining input. But when your constructor has
two arguments, the first one better not consume all the rest of the input..
On Tue, Mar 16, 2010 at 3:52 AM, Chris Eidhof <chris at eidhof.nl> wrote:
> Hey everyone,
> I just wrote down some of my ideas about type-safe URL handling on github,
> it's at http://gist.github.com/333769
> I think it's similar to what Jeremy is doing with his urlt package .
> : http://src.seereason.com/~jeremy/SimpleSite1.html
> web-devel mailing list
> web-devel at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the web-devel