spec/containers/simple_queue.bend checks
raw source on the hub · import bend-collections-laws-containers@1.0.0.0/spec/containers/simple_queue.bend as Simple_queue
2 imports
import Base import ./queue.bend as QS
Definitions
def Length.length_result source · line 26 · raw
@-T:Data -> @+xs:List<&2, T> -> Type
def Length.length_frame source · line 29 · raw
@-T:Data -> @+xs:List<&2, T> -> Type
def Iteration.to_list_model source · line 32 · raw
@-T:Data -> @+xs:List<&2, T> -> Type
def Iteration.to_list_frame source · line 35 · raw
@-T:Data -> @+xs:List<&2, T> -> Type
def Append.enqueue_length source · line 38 · raw
@-T:Data -> @+xs:List<&2, T> -> @+v:T -> Type
def Append.enqueue_prefix source · line 41 · raw
@-T:Data -> @+xs:List<&2, T> -> @+v:T -> Type
def Append.enqueue_element source · line 44 · raw
@-T:Data -> @+xs:List<&2, T> -> @+v:T -> Type
def Delete_First.dequeue_length source · line 47 · raw
@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type
def Delete_First.dequeue_shifted source · line 50 · raw
@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type
def Delete_First.dequeue_result source · line 53 · raw
@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type
def Delete_First.dequeue_empty source · line 56 · raw
@-T:Data -> Type
def First_Element.peek_first source · line 59 · raw
@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type
def First_Element.peek_frame source · line 62 · raw
@-T:Data -> @+xs:List<&2, T> -> Type
def First_Element.peek_empty source · line 65 · raw
@-T:Data -> Type