stack, queue

Stacks and queues are implemented as special interfaces to mutable lists.

In stack.diesel:

Stacks are implemented as special interfaces to mutable lists.

extend module Stdlib;

module Stack;
class stack[T];
  fun push(s:stack[`T], x:T):void;
  fun pop(s:stack[`T]):T;
  fun top(s:stack[`T]):T;
  fun new_stack[T]():stack[T];

end module Stack;

In queue.diesel:

Queues are implemented as special interfaces to mutable lists.

extend module Stdlib;

module Queue;
class queue[T];
  fun enqueue(t:queue[`T], x:T):void;
  fun dequeue(t:queue[`T]):T;
  fun dequeue(t:queue[`T], if_empty:&():`S):T|S;
  fun new_queue[T]():queue[T];

end module Queue;