~/bend-docscommunity

spec/containers/queue.bend checks

raw source on the hub · import bend-collections-laws-containers@1.0.0.0/spec/containers/queue.bend as Queue

4 imports
import Base
import ../lib/common.bend as C
import ../../src/containers/types/queue.bend as E
import ../lib/sequence.bend as V

Definitions

def item source · line 9 · raw

@-T:Data -> @x:Maybe<&2, T> -> Result<&2, &2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Error, T>

def dequeue source · line 16 · raw

@-T:Data -> @xs:List<&2, T> -> Pair(List<&2, T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T>)

def step source · line 23 · raw

@-T:Data -> @+xs:List<&2, T> -> @op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Op<T> -> Pair(List<&2, T>, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T>)

def cons_obs source · line 36 · raw

@-T:Data -> @o:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T> -> @r:Pair(List<&2, T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T>>) -> Pair(List<&2, T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T>>)

def run source · line 40 · raw

@-T:Data -> @ops:List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Op<T>> -> @+xs:List<&2, T> -> Pair(List<&2, T>, List<&2, 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T>>)

def nx source · line 78 · raw

@-T:Data -> @+xs:List<&2, T> -> @+op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Op<T> -> List<&2, T>

def ob source · line 81 · raw

@-T:Data -> @+xs:List<&2, T> -> @+op:0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Op<T> -> 0x5c489f5d9646d7cc9aa3dd8137e9dc07/src/containers/types/queue.Obs<T>

def Length.length_result source · line 85 · raw

@-T:Data -> @+xs:List<&2, T> -> Type

Length (284)

def Length.length_frame source · line 89 · raw

@-T:Data -> @+xs:List<&2, T> -> Type

Length (284)

def Iteration.to_list_model source · line 93 · raw

@-T:Data -> @+xs:List<&2, T> -> Type

iteration (Iter_Model, 1193)

def Iteration.to_list_frame source · line 97 · raw

@-T:Data -> @+xs:List<&2, T> -> Type

iteration (Iter_Model, 1193)

def Append.enqueue_length source · line 101 · raw

@-T:Data -> @+xs:List<&2, T> -> @+v:T -> Type

Append (706)

def Append.enqueue_prefix source · line 105 · raw

@-T:Data -> @+xs:List<&2, T> -> @+v:T -> Type

Append (706)

def Append.enqueue_element source · line 109 · raw

@-T:Data -> @+xs:List<&2, T> -> @+v:T -> Type

Append (706)

def Delete_First.dequeue_length source · line 113 · raw

@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type

Delete_First (825)

def Delete_First.dequeue_shifted source · line 117 · raw

@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type

Delete_First (825)

def Delete_First.dequeue_result source · line 121 · raw

@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type

Delete_First (825)

def Delete_First.dequeue_empty source · line 125 · raw

@-T:Data -> Type

Delete_First (825)

def First_Element.peek_first source · line 129 · raw

@-T:Data -> @+h:T -> @+t:List<&2, T> -> Type

First_Element (913)

def First_Element.peek_frame source · line 133 · raw

@-T:Data -> @+xs:List<&2, T> -> Type

First_Element (913)

def First_Element.peek_empty source · line 137 · raw

@-T:Data -> Type

First_Element (913)