Re: Overlapping names in GHC: ConLike

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ő
Can we force some more elements of that lazy stream? On Feb 15, 2014 12:09 PM, "Carter Schonwald"
wrote: ConstructorAble ? (I'm happy to come up with a whole list of candidates). :-)
On Friday, February 14, 2014, Dr. ERDI Gergo
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.
participants (1)
-
Carter Schonwald