~/bend-docscommunity

spec/containers/stack.bend checks

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

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

Definitions

def step source · line 7 · raw

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

Independent LIFO sequence model; top is the first element.

def nx source · line 54 · raw

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

def ob source · line 57 · raw

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

def Length.length_result source · line 61 · raw

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

Length (284)

def Length.length_frame source · line 65 · raw

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

Length (284)

def Iteration.to_list_model source · line 69 · raw

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

iteration (Iter_Model, 1193)

def Iteration.to_list_frame source · line 73 · raw

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

iteration (Iter_Model, 1193)

def Empty_Vector.new_empty source · line 77 · raw

@-T:Data -> Type

Empty_Vector (292)

def Prepend.push_length source · line 81 · raw

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

Prepend (624)

def Prepend.push_first source · line 85 · raw

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

Prepend (624)

def Prepend.push_shifted source · line 89 · raw

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

Prepend (624)

def Delete_First.pop_length source · line 93 · raw

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

Delete_First (825)

def Delete_First.pop_shifted source · line 97 · raw

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

Delete_First (825)

def Delete_First.pop_result source · line 101 · raw

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

Delete_First (825)

def Delete_First.pop_empty source · line 105 · raw

@-T:Data -> Type

Delete_First (825)

def First_Element.peek_first source · line 109 · raw

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

First_Element (913)

def First_Element.peek_frame source · line 113 · raw

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

First_Element (913)

def First_Element.peek_empty source · line 117 · raw

@-T:Data -> Type

First_Element (913)