snoyberg/conduit — comment on commit 5c12b11d691b40aa6366ab5c9d41db94526f640a
File: Data/Conduit/List.hs line 96
By meteficha:

Is it documented somewhere what "sinkPush sink []" means or what what laws it should obey? In my current understanding, we would require that "sinkPush sink []" returns "SinkResult [] Nothing" for all sinks. If it returned a Just, then it should have returned the Just on the previous push. Is that correct?