ImplicitQueue

Definitions

data ImplicitQueue : Type -> Type

Totality: total
Visibility: export
Constructors:

Shallow : Digit a -> ImplicitQueue a

Deep : Digit a -> Lazy (ImplicitQueue (a, a)) -> Digit a -> ImplicitQueue a

Hint: 

Queue ImplicitQueue