[][src]Crate want

A Futures channel-like utility to signal when a value is wanted.

Futures are supposed to be lazy, and only starting work if Future::poll is called. The same is true of Streams, but when using a channel as a Stream, it can be hard to know if the receiver is ready for the next value.

Put another way, given a (tx, rx) from futures::sync::mpsc::channel(), how can the sender (tx) know when the receiver (rx) actually wants more work to be produced? Just because there is room in the channel buffer doesn't mean the work would be used by the receiver.

This is where something like want comes in. Added to a channel, you can make sure that the tx only creates the message and sends it when the rx has poll() for it, and the buffer was empty.


extern crate futures;
extern crate want;

use futures::{Async, Stream};

// Some message that is expensive to produce.
struct Expensive;

let (mut tx, mut rx) = futures::sync::mpsc::channel(0);
let (mut gv, mut tk) = want::new();

// Our receiving task...
spawn(futures::future::poll_fn(move || loop {

    match rx.poll() {
        Ok(Async::Ready(Some(_msg))) => {
            println!("got a message");
        Ok(Async::Ready(None)) => {
            return Ok::<_, ()>(Async::Ready(()));
        Ok(Async::NotReady) => {
            // Maybe something comes up that prevents us from ever
            // using the expensive message.
            // Without `want`, the "send" task may have started to
            // produce the expensive message even though we wouldn't
            // be able to use it.

            // But we can use it! So tell the `want` channel.
        Err(()) => unreachable!("mpsc doesn't error"),

// Our sending task
spawn(futures::future::poll_fn(move || {
    // It's expensive to create a new message, so we wait until the
    // receiving end truly *wants* the message.
    match gv.poll_want() {
        Ok(Async::Ready(())) => {
            // They want it, let's go!
        Ok(Async::NotReady) => Ok(Async::NotReady),
        Err(_) => {
            // Looks like they will never want it...



The Taker has canceled its interest in a value.


An entity that gives a value when wanted.


A cloneable Giver.


An entity that wants a value.



Create a new want channel.