[Haskell-cafe] A proposals

Brad Larsen 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
> http://profiles.google.com/wasserman.louis
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> 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.

Bradford Larsen

More information about the Haskell-Cafe mailing list