Excellent bikeshedding opportunity! Frontend syntax for pattern synonym types
Dr. ERDI Gergo
gergo at erdi.hu
Sun Dec 22 15:16:50 UTC 2013
On Sun, 22 Dec 2013, Jacques Carette wrote:
> Since the first is an iso, why not
> pattern Single :: t a ~ [ a ]
> pattern Single :: t a <-> [ a ]
> ? [I definitely prefer the first] Or is your 'type' for Single somehow
> different than my guess?
the type of Single would be 'a -> [a]', as in:
in an expression context, if x :: a, then Single x :: [a]
in a pattern context, if Single x :: [a], then it binds x :: a
.--= ULLA! =-----------------.
\ http://gergo.erdi.hu \
`---= gergo at erdi.hu =-------'
The masses are asses.
More information about the Glasgow-haskell-users