Data.BoundedQueue.Unsized.Internal

Bounded Queue Internals

Definitions

data BoundedQueue : Type -> Type

  An 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: 

MkBoundedQueue : Seq a -> Nat -> Nat -> BoundedQueue a

Hints:

Eq a => Eq (BoundedQueue a)

Functor BoundedQueue

Monoid (BoundedQueue a)

Ord a => Ord (BoundedQueue a)

Semigroup (BoundedQueue a)

Show a => Show (BoundedQueue a)