ImplicitCatenableDeque

Definitions

interface Sized : (Type -> Type) -> Type

Parameters: d
Methods:

size : d a -> Int

size : Sized d => d a -> Int

Totality: total
Visibility: public export

data ImplicitCatDeque : (Type -> Type) -> Type -> Type

Totality: total
Visibility: export
Constructors:

Shallow : d a -> ImplicitCatDeque d a

Deep : d a -> Lazy (ImplicitCatDeque d (CmpdElem d a)) -> d a -> Lazy (ImplicitCatDeque d (CmpdElem d a)) -> d a -> ImplicitCatDeque d a

Hints:

(Deque d, Sized d) => CatenableDeque (ImplicitCatDeque d)

(Deque d, Sized d) => Deque (ImplicitCatDeque d)