Then the problem would be when you write for a, b in items, the compiler does not know whether it should use iteri or iter2

The behavior of T::iter2 and T::op_get should be consistent.

add iteri as helper function like this

type AssocList[K,V] @immut/list.T[(K,V)]

fn AssocList::iteri[K,V](self : AssocList[K,V]) -> Iter2[Int,V] {
    Iter2::new(fn(yield_) {
    loop 0,self._ {
      _,Nil => IterContinue
      i,Cons(head, tail) => {
        if yield_(i,head.1) == IterEnd {
          break IterEnd
        }
        continue i+1,tail
      }
    }
  })
}

test {
  let assoc : AssocList[String,String] = Nil
  for i,v in assoc.iteri() {

  } 
}

[Feature Request] impl Iter2 for Iter[(A, B)] #1319

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions