0 | module Data.Vect.Utils 1 | 2 | import Data.Vect 3 | 4 | public export 5 | pairUp : Vect (S n) a -> Vect n (a, a) 6 | pairUp [a] = [] 7 | pairUp (x :: y :: xs) = (x, y) :: pairUp (y :: xs) 8 |