Idx.Selection.Observable

Get value

Get selected value at given index

Selected positions

Selected positions from target index

Note. positions.size == size

Selected property

Returns property instance wich will be updated real-time with the first selected value. Because the Selection can be empty, this property needs a default value to provide in this case.

Count of selected values

Returns total number of selected values

Returns a Stream of all elements

The element order is same as in the Idx itself

  val l: Idx[Char] = ('a' <> 'g').stream.pack

  l.stream.tp  // Prints Stream(a, b, c, d, e, f, g)

Make String

tag returns this instance String representation, which should be used insted of toString

Selection target

The Idx targeted by this selection

Optional selected value

Returns first selected value or void option, if selection is empty