Done

A producer finished normally: no more items will come. value is what it leaves over (Effect's Cause.Done(value)); a bare Done means Done[None].

A queue that can be ended says so in its error type, Queue[int, Done]; its takers fail with Done() once it drains.

Attributes#

Functions#

__init__#

__init__(value=None) -> None

def __init__(self, value: object = None) -> None:
    super().__init__(value)