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 mailing list