13.4.50  mailop

The standard library mailop package implements mailop values and combinators — basic Mythryl inter-thread communication functionality.

The mailop package implements an extension of the Mailop API.

The mailop package source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/mailop.pkg.

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;
    atomic_cvar_set : ?.internal_threadkit_types::Condition_Variable -> Void;
    cvar_get_mailop : ?.internal_threadkit_types::Condition_Variable
                      -> Mailop(Void );
};