Индексное содержание списка ([a] -> [(Int, a)])

Question

Я хочу функцию, которая принимает в списке и индексирует все содержимое: indexed :: [a] -> [(Int, a)]. Или возвращаемое значение может быть любым Monad, если оно содержит индексированные значения исходного списка.

Я думал, что мне понадобится StateT для временного запоминания и числа индексов при обработке каждого элемента, но я не знаком с трансформатором Monad и мне нужна помощь в написании функции.

Я считаю, что это будет выглядеть примерно так (это точно не работает):

indexed ns = do 
    n <- ns 
    i <- get 
    put (i + 1) 
    return (i, n) 

Как бы вы писать?

Answer 1

Не нужно заботиться обо всем этом.

indexed = zip [0..] 

Если вы хотите использовать монады трансформаторы, я думаю, что это:

indexed :: [a] -> [(Int, a)] 
indexed ns = evalState (runListT lt) 0 where 
    lt = do 
     n <- ListT $ return ns 
     i <- get <* modify (+1) 
     return (i, n)