SimpleCatenableDeque

Definitions

data SimpleCatDeque : (Type -> Type) -> Type -> Type

Totality: total
Visibility: export
Constructors:

Shallow : d a -> SimpleCatDeque d a

Deep : d a -> Lazy (SimpleCatDeque d (d a)) -> d a -> SimpleCatDeque d a

Hints:

Deque d => CatenableDeque (SimpleCatDeque d)

Deque d => Deque (SimpleCatDeque d)