dhall-1.3.0: Prelude/List/indexed

{-
Tag each element of the list with its index

Examples:

```
./indexed Bool ([True, False, True] : List Bool)
=   [   { index = +0, value = True  }
    ,   { index = +1, value = False }
    ,   { index = +2, value = True  }
    ]   : List { index : Natural, value : Bool }

./indexed Bool ([] : List Bool)
= [] : List { index : Natural, value : Bool }
```
-}
let indexed : ∀(a : Type) → List a → List { index : Natural, value : a }
    =   List/indexed

in  indexed