Skip to content

ponycheck class ArrayValues

ArrayValues[A: A, B: Array[A] #read]¶

class ref ArrayValues[A: A, B: Array[A] #read] is
  Iterator[B->A] ref

Implements¶

Iterator[B->A] ref

Constructors¶

create¶

new ref create(
  array: B)
: ArrayValues[A, B] ref^

Parameters¶

array: B

Returns¶

ArrayValues[A, B] ref^

Public Functions¶

has_next¶

fun box has_next()
: Bool val

Returns¶

Bool val

next¶

fun ref next()
: B->A ?

Returns¶

B->A ?

rewind¶

fun ref rewind()
: ArrayValues[A, B] ref

Returns¶

ArrayValues[A, B] ref