BankersDequeue | Data.Dequeue |
Dequeue | |
1 (Type/Class) | Data.Dequeue.Show |
2 (Data Constructor) | Data.Dequeue.Show |
3 (Type/Class) | Data.Dequeue |
empty | Data.Dequeue |
first | Data.Dequeue |
fromList | Data.Dequeue |
last | Data.Dequeue |
length | Data.Dequeue |
null | Data.Dequeue |
popBack | Data.Dequeue |
popFront | Data.Dequeue |
prop_fromList_toList | Data.Dequeue |
prop_fromList_toList_bq | Data.Dequeue |
prop_length_toList | Data.Dequeue |
prop_length_toList_bq | Data.Dequeue |
prop_pop_back_bq_balance | Data.Dequeue |
prop_pop_front_bq_balance | Data.Dequeue |
prop_pushpop_back | Data.Dequeue |
prop_pushpop_back_bq | Data.Dequeue |
prop_pushpop_front | Data.Dequeue |
prop_pushpop_front_bq | Data.Dequeue |
prop_push_back | Data.Dequeue |
prop_push_back_bq | Data.Dequeue |
prop_push_back_bq_balance | Data.Dequeue |
prop_push_front | Data.Dequeue |
prop_push_front_bq | Data.Dequeue |
prop_push_front_bq_balance | Data.Dequeue |
prop_read_show_bq | Data.Dequeue |
prop_takeBack | Data.Dequeue |
prop_takeBack_bq | Data.Dequeue |
prop_takeFront | Data.Dequeue |
prop_takeFront_bq | Data.Dequeue |
pushBack | Data.Dequeue |
pushFront | Data.Dequeue |
readDequeue | Data.Dequeue |
showDequeue | Data.Dequeue |
takeBack | Data.Dequeue |
takeFront | Data.Dequeue |