On Sun, Sep 27, 2009 at 5:29 PM, Louis Wasserman <[email protected]> wrote: > I'd like to see something resembling as-patterns in type signatures. > Specifically, there are cases where I'm inclined to use > (m ~ pat) in a type context when m isn't otherwise constrained, just so I > can use m as an abbreviation for pat. To reduce these cases, I'd like to > see the syntax m...@pat allowed for use in type signatures, with m becoming > simply an alias for pat. Thoughts? > > I've added a ticket here. > > Louis Wasserman > [email protected] > http://profiles.google.com/wasserman.louis > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe
I was looking for a feature like this just the other day, for more succinctly defining a type class that made use of several associated type synonyms. Sincerely, Bradford Larsen _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
