The standard library Oneshot_Maildrop api defines access to maildrops specialized to being set only once.
The Oneshot_Maildrop api is implemented by the oneshot_maildrop package.
The Oneshot_Maildrop api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/oneshot-maildrop.api.
See also: Maildrop.
See also: Mailqueue.
See also: Mailcaster.
The above information is manually maintained and may contain errors.
api {
Oneshot_Maildrop X;
exception MAY_NOT_FILL_ALREADY_FULL_ONESHOT_MAILDROP;
make_oneshot_maildrop : Void -> Oneshot_Maildrop(X );
put_in_oneshot : (Oneshot_Maildrop(X ) , X) -> Void;
get_from_oneshot : Oneshot_Maildrop(X ) -> X;
get_from_oneshot' : Oneshot_Maildrop(X ) -> Mailop(X );
nonblocking_get_from_oneshot : Oneshot_Maildrop(X ) -> Null_Or(X );
same_oneshot_maildrop : (Oneshot_Maildrop(X ) , Oneshot_Maildrop(X )) -> Bool;};