spec/lib/sequence.bend checks
raw source on the hub · import bend-collections-laws-containers@1.0.0.0/spec/lib/sequence.bend as Sequence
2 imports
import Base import ./common.bend as SC
Definitions
def RangeEqual source · line 20 · raw
@-A:Data -> @l:List<&2, A> -> @r:List<&2, A> -> @fst:Nat -> @en:Nat -> Type
def RangeShifted source · line 23 · raw
@-A:Data -> @l:List<&2, A> -> @r:List<&2, A> -> @fst:Nat -> @en:Nat -> @off:Nat -> Type
def EqualPrefix source · line 26 · raw
@-A:Data -> @l:List<&2, A> -> @r:List<&2, A> -> Type
def EqualExcept source · line 29 · raw
@-A:Data -> @l:List<&2, A> -> @r:List<&2, A> -> @p:Nat -> Type
def ConstantRange source · line 32 · raw
@-A:Data -> @c:List<&2, A> -> @fst:Nat -> @en:Nat -> @x:A -> Type
def ElementsReversed source · line 35 · raw
@-A:Data -> @l:List<&2, A> -> @r:List<&2, A> -> Type
def last_elem source · line 39 · raw
@-A:Data -> @+xs:List<&2, A> -> Maybe<&2, A>
Last_Element: the element at Last_Index = Length - 1