~/bend-docscommunity

spec/containers/deque.bend checks

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

4 imports
import Base
import ../lib/common.bend as C
import ../../src/containers/types/deque.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/deque.Error, T>

def pop_front source · line 16 · raw

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

def pop_back source · line 23 · raw

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

def step source · line 30 · raw

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

def cons_obs source · line 49 · raw

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

def run source · line 53 · raw

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

def nx source · line 94 · raw

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

def ob source · line 97 · raw

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

def Length.length_result source · line 101 · raw

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

Length (284)

def Length.length_frame source · line 105 · raw

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

Length (284)

def Iteration.to_list_model source · line 109 · raw

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

iteration (Iter_Model, 1193)

def Iteration.to_list_frame source · line 113 · raw

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

iteration (Iter_Model, 1193)

def Prepend.push_front_length source · line 117 · raw

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

Prepend (624)

def Prepend.push_front_first source · line 121 · raw

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

Prepend (624)

def Prepend.push_front_shifted source · line 125 · raw

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

Prepend (624)

def Append.push_back_length source · line 129 · raw

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

Append (706)

def Append.push_back_prefix source · line 133 · raw

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

Append (706)

def Append.push_back_element source · line 137 · raw

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

Append (706)

def Delete_First.pop_front_length source · line 141 · raw

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

Delete_First (825)

def Delete_First.pop_front_shifted source · line 145 · raw

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

Delete_First (825)

def Delete_First.pop_front_result source · line 149 · raw

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

Delete_First (825)

def Delete_First.pop_front_empty source · line 153 · raw

@-T:Data -> Type

Delete_First (825)

def Delete_Last.pop_back_length source · line 157 · raw

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

Delete_Last (866)

def Delete_Last.pop_back_prefix source · line 161 · raw

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

Delete_Last (866)

def Delete_Last.pop_back_result source · line 165 · raw

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

Delete_Last (866)

def Delete_Last.pop_back_empty source · line 169 · raw

@-T:Data -> Type

Delete_Last (866)

def First_Element.peek_front_first source · line 173 · raw

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

First_Element (913)

def First_Element.peek_front_frame source · line 177 · raw

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

First_Element (913)

def First_Element.peek_front_empty source · line 181 · raw

@-T:Data -> Type

First_Element (913)

def Last_Element.peek_back_last source · line 185 · raw

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

Last_Element (923)

def Last_Element.peek_back_frame source · line 189 · raw

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

Last_Element (923)

def Last_Element.peek_back_empty source · line 193 · raw

@-T:Data -> Type

Last_Element (923)