Overlapping names in GHC: ConLike

[Carter Schonwald]

BijectionLike, InvertableCon
ReversableConstructor
InvertableLike
Dualable
DualLike
DuelFoil -- I kid

basically something about how patternSynonyms and normal type constructors
have this "bjiective" (ish?) quality






On Fri, Feb 14, 2014 at 11:10 PM, Dr. ÉRDI Gergő <gergo at erdi.hu> wrote:

> Can we force some more elements of that lazy stream?
> On Feb 15, 2014 12:09 PM, "Carter Schonwald" <carter.schonwald at gmail.com>
> wrote:
>
>> ConstructorAble ?  (I'm happy to come up with a whole list of
>> candidates). :-)
>>
>> On Friday, February 14, 2014, Dr. ERDI Gergo <gergo at erdi.hu> wrote:
>>
>>> On Thu, 13 Feb 2014, Carter Schonwald wrote:
>>>
>>>  Caseable? PatternLike?
>>>>
>>>
>>> The reason I went with ConLike originally (apart from not noticing the
>>> clash) was that (bidirectional) pattern synonyms can also be used in
>>> expressions, so they behave like constructors in both contexts.
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140215/0d5ef825/attachment-0001.html>