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;
never : Mailop(X );
always_mailop : X -> Mailop(X );
wrap_handler : (Mailop(X ) , (Exception -> X)) -> Mailop(X );
wrap : (Mailop(X ) , (X -> Y)) -> Mailop(Y );
==> : (Mailop(X ) , (X -> Y)) -> Mailop(Y );
guard : (Void -> Mailop(X )) -> Mailop(X );
with_nack : (Mailop(Void ) -> Mailop(X )) -> Mailop(X );
choose : List(Mailop(X ) ) -> Mailop(X );
do_mailop : Mailop(X ) -> X;
select : List(Mailop(X ) ) -> X;
};