The standard library Threadkit_Queue api defines the basic scheduling queues used throughout the Mythryl multithreaded-support implementation.
The Threadkit_Queue api is implemented by the threadkit_queue package.
The Threadkit_Queue api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit-queue.api.
See also: Queue.
See also: Priority_Queue.
The above information is manually maintained and may contain errors.
api { Threadkit_Queue X;
make_threadkit_queue : Void -> Threadkit_Queue(X );
same_queue : (Threadkit_Queue(X ) , Threadkit_Queue(X )) -> Bool;
is_empty : Threadkit_Queue(X ) -> Bool;
enqueue : (Threadkit_Queue(X ) , X) -> Void;
exception EMPTY_THREADKIT_QUEUE;
dequeue : Threadkit_Queue(X ) -> X;
next : Threadkit_Queue(X ) -> Null_Or(X );
reset : Threadkit_Queue(X ) -> Void;
remove : (Threadkit_Queue(X ) , (X -> Bool)) -> Void;
};