Excellent bikeshedding opportunity! Frontend syntax for pattern synonym types
Dr. ERDI Gergo
gergo at erdi.hu
Mon Dec 23 06:01:10 UTC 2013
On Mon, 23 Dec 2013, Carter Schonwald wrote:
> i'm confused, are these types ever human writeable?
Yes, this syntax is meant to be also used for giving human-written type
signatures for pattern synonym definitions.
> If not, are they meant to be an operational way of communicating how a pattern works?
> In which case, wouldn't having the pattern definition visible in the haddocks be a
> simpler way to communicate it?
The pattern definition itself should be abstract for the same reason
function definitions are abstract. Imagine if the Haddock docs contained
the definition of all functions instead of their types...
.--= ULLA! =-----------------.
\ http://gergo.erdi.hu \
`---= gergo at erdi.hu =-------'
Post tenebras lux, post fenestras Tux.
More information about the Glasgow-haskell-users