Groovy-оператор EachWithIndex

Я новичок в groovy, и у меня возникли некоторые проблемы с пониманием each {} и eachwithindex {} операторов в groovy .

Действительно ли каждый и eachWithIndex являются методами? Если да, то какие аргументы они принимают?

В документации Groovy есть этот конкретный пример:

def numbers = [ 5, 7, 9, 12 ]
numbers.eachWithIndex{ num, idx -> println "$idx: $num" } //prints each index and number

Я вижу, что числа - это массив. Что означают num и idx в приведенном выше утверждении? Что делает оператор -> ?

Я знаю, что $ idx и $ num выводят значение, но как получается, что idx и num автоматически связаны с индексом и содержимым массива? Какая логика за этим? Пожалуйста, помогите.