The standard library Mailop api defines mailop values and combinators — basic Mythryl inter-thread communication functionality.
An extended version of the Mailop api is implemented by the mailop package.
The Mailop api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/mailop.api.
The above information is manually maintained and may contain errors.
api {
Mailop X;
Run_Gun = Mailop(Void );
End_Gun = Mailop(Void );
do_one_mailop : List(Mailop(X ) ) -> X;
==> : (Mailop(X ) , (X -> Y)) -> Mailop(Y );
Replyqueue;
make_replyqueue : Void -> Replyqueue;
put_in_replyqueue : (Replyqueue , Mailop(Void )) -> Void;
do_one_mailop' : Replyqueue -> List(Mailop(Void ) ) -> Void;
replyqueue_to_string : (Replyqueue , String) -> String;
dynamic_mailop : (Void -> Mailop(X )) -> Mailop(X );
dynamic_mailop_with_nack : (Mailop(Void ) -> Mailop(X )) -> Mailop(X );
never' : Mailop(X );
always' : X -> Mailop(X );
if_then' : (Mailop(X ) , (X -> Y)) -> Mailop(Y );
make_exception_handling_mailop : (Mailop(X ) , (Exception -> X)) -> Mailop(X );
cat_mailops : List(Mailop(X ) ) -> Mailop(X );
block_until_mailop_fires : Mailop(X ) -> X;};