Data.BoundedQueue1.Unsized.Internal

Linear Bounded Queue Internals

Definitions

data BoundedQueue1 : Type -> Type -> Type

  A linear, immutable, bounded first-in first-out structure which keeps
  track of its size, with amortized O(1) enqueue and dequeue operations.

Totality: total
Visibility: public export
Constructor: 

MkBoundedQueue1 : Ref s (BoundedQueue a) -> BoundedQueue1 s a