[Haskell-cafe] ANNOUNCE: pipes-core 0.0.1

Paolo Capriotti p.capriotti at gmail.com
Mon Mar 12 10:32:33 CET 2012


On Mon, Mar 12, 2012 at 2:53 AM, Mario Blažević <blamario at acanac.net> wrote:
>
>    May I enquire what was the reason for the non-termination of idP? Why was
> it not defined as 'forP yield' instead? The following command runs the way I
> expected.

The identity in a homset is unique, and in the case of 'Pipe a b m r',
it happens to be 'idP'. 'forP yield' has its uses, but, as Chris
showed, it's not a real identity.

BR,
Paolo



More information about the Haskell-Cafe mailing list