Names for Data.Sequence pattern synonyms

Henning Thielemann lemming at
Sun Apr 3 07:07:28 UTC 2016

On Sat, 2 Apr 2016, David Feuer wrote:

> 1. <|, |>, and empty for cons, snoc, and empty
> 2. data ViewL a = EmptyL | a :< Seq a, and the equivalent on the right.
> I suggested Empty, :<<, and :>> as the pattern synonyms, the latter 
> chosen for the relative convenience of the double tap.

That looks to me like something about Monad bind.

> Milan suggested (correctly, I suspect) that the greater clarity of 
> Empty, :<|, and :|> is worth the price in typing.

I would prefer that.

More information about the Libraries mailing list