dequeue-0.1: A typeclass and an implementation for double-ended queues.

Index

BankersDequeueData.Dequeue
DequeueData.Dequeue
emptyData.Dequeue
firstData.Dequeue
fromListData.Dequeue
lastData.Dequeue
lengthData.Dequeue
nullData.Dequeue
popBackData.Dequeue
popFrontData.Dequeue
prop_length_toListData.Dequeue
prop_length_toList_bqData.Dequeue
prop_pop_back_bq_balanceData.Dequeue
prop_pop_front_bq_balanceData.Dequeue
prop_pushpop_backData.Dequeue
prop_pushpop_back_bqData.Dequeue
prop_pushpop_frontData.Dequeue
prop_pushpop_front_bqData.Dequeue
prop_push_backData.Dequeue
prop_push_back_bqData.Dequeue
prop_push_back_bq_balanceData.Dequeue
prop_push_frontData.Dequeue
prop_push_front_bqData.Dequeue
prop_push_front_bq_balanceData.Dequeue
pushBackData.Dequeue
pushFrontData.Dequeue
takeBackData.Dequeue
takeFrontData.Dequeue