Documentation

Given a vector with three elements:

>>> myVec = (1 :> 2 :> 3 :> Nil) :: Vec 3 Int

The following would produce a warning even though we can be sure no other pattern can ever apply:

>>> (a :> b :> c :> Nil) = myVec

vecToTuple can be used to work around the warning:

>>> (a, b, c) = vecToTuple myVec

Of course, you will still get an error if you try to match a vector of the wrong length:

>>> (a, b, c, d) = vecToTuple myVec
...
    • Couldn't match type: (Int, Int, Int)
                            ^
                     with: (a, b, c, d)
...