Queue

Definitions

interface Queue : (Type -> Type) -> Type

Parameters: q
Methods:

empty : q a

isEmpty : q a -> Bool

snoc : q a -> a -> q a

head : q a -> a

tail : q a -> q a

empty : Queue q => q a

Totality: total
Visibility: public export

isEmpty : Queue q => q a -> Bool

Totality: total
Visibility: public export

snoc : Queue q => q a -> a -> q a

Totality: total
Visibility: public export

head : Queue q => q a -> a

Totality: total
Visibility: public export

tail : Queue q => q a -> q a

Totality: total
Visibility: public export