list_indexof.sql 290 B

12345678910111213
  1. $list = [1, 2, 3];
  2. $opt_list = [1, null, 2, 3];
  3. select
  4. ListIndexOf($list, 2),
  5. ListIndexOf($list, 100),
  6. ListIndexOf(Just($opt_list), 2),
  7. ListIndexOf(Just($opt_list), 200),
  8. ListIndexOf(Nothing(List<Int32>?), 2),
  9. ListIndexOf([], 'foo'),
  10. ListIndexOf(null, 1.0),
  11. ;