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ő <[email protected]> wrote: > Can we force some more elements of that lazy stream? > On Feb 15, 2014 12:09 PM, "Carter Schonwald" <[email protected]> > wrote: > >> ConstructorAble ? (I'm happy to come up with a whole list of >> candidates). :-) >> >> On Friday, February 14, 2014, Dr. ERDI Gergo <[email protected]> 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. >> >>
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
