14.4.38  Maildrop

The standard library Maildrop api defines access to what are in essence concurrency-safe ref-cells.

The Maildrop api is implemented by the maildrop package.

The Maildrop api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/maildrop.api.

See also: Oneshot_Maildrop.

See also: Mailqueue.

See also: Mailcaster.

The above information is manually maintained and may contain errors.

api {    Maildrop X;
    exception MAY_NOT_FILL_ALREADY_FULL_MAILDROP;
    make_empty_maildrop : Void -> Maildrop(X );
    make_full_maildrop : X -> Maildrop(X );
    fill : (Maildrop(X ) , X) -> Void;
    empty : Maildrop(X ) -> X;
    empty' : Maildrop(X ) -> Mailop(X );
    nonblocking_empty : Maildrop(X ) -> Null_Or(X );
    peek : Maildrop(X ) -> X;
    peek' : Maildrop(X ) -> Mailop(X );
    nonblocking_peek : Maildrop(X ) -> Null_Or(X );
    swap : (Maildrop(X ) , X) -> X;
    swap' : (Maildrop(X ) , X) -> Mailop(X );
    same_maildrop : (Maildrop(X ) , Maildrop(X )) -> Bool;
};