Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

# Documentation

vectToList :: Vect a n -> [a] Source

Drop the length index from a Vect, giving a typical list.

listToVect :: IsNat n => [a] -> Maybe (Vect a n) Source

Try to produce a Vect from a list. The nat index must be fixed somehow, perhaps with the help of ScopedTypeVariables.

module Data.TypeNat.Nat