[Haskell-cafe] ANNOUNCE: pipes-core 0.0.1

Paolo Capriotti p.capriotti at gmail.com
Sun Mar 11 14:09:25 CET 2012


> The Category law would be broken, though:
>
> unawait x >>> id == yield x !== unawait x

How did you get this equation? It's not even well-typed:

unawait :: a -> Pipe a b m ()
yield :: b -> Pipe a b m ()

Someone actually implemented a variation of Pipes with unawait:
https://github.com/duairc/pipes/blob/master/src/Control/Pipe/Common.hs
(it's called 'unuse' there).

I actually agree that it might break associativity or identity, but I
don't have a counterexample in mind yet.

BR,
Paolo



More information about the Haskell-Cafe mailing list