[Haskell-cafe] A proposals
brad.larsen at gmail.com
Sun Sep 27 17:33:01 EDT 2009
On Sun, Sep 27, 2009 at 5:29 PM, Louis Wasserman
<wasserman.louis at gmail.com> 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 at pat allowed for use in type signatures, with m becoming
> simply an alias for pat. Thoughts?
> I've added a ticket here.
> Louis Wasserman
> wasserman.louis at gmail.com
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
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
More information about the Haskell-Cafe