Deque

Definitions

interface Deque : (Type -> Type) -> Type

Parameters: q
Methods:

empty : q a

isEmpty : q a -> Bool

cons : a -> q a -> q a

head : q a -> a

tail : q a -> q a

snoc : q a -> a -> q a

last : q a -> a

init : q a -> q a

empty : Deque q => q a

Totality: total
Visibility: public export

isEmpty : Deque q => q a -> Bool

Totality: total
Visibility: public export

cons : Deque q => a -> q a -> q a

Totality: total
Visibility: public export

head : Deque q => q a -> a

Totality: total
Visibility: public export

tail : Deque q => q a -> q a

Totality: total
Visibility: public export

snoc : Deque q => q a -> a -> q a

Totality: total
Visibility: public export

last : Deque q => q a -> a

Totality: total
Visibility: public export

init : Deque q => q a -> q a

Totality: total
Visibility: public export