
  0 | module UUID.Data.Vect
  1 | 
  2 | import public Data.Vect
  3 | 
  4 | export
  5 | range : (n : Nat) -> Vect n Nat
  6 | range n = reverse $ aux n
  7 |   where
  8 |   aux : (n : Nat) -> Vect n Nat
  9 |   aux 0 = []
 10 |   aux (S n) = n :: aux n
 11 | 
 12 | export
 13 | enumerate : {n : _} -> Vect n a -> Vect n (Nat, a)
 14 | enumerate xs = zip (range n) xs
 15 |