Re-export Vect from HVect.
`get` has an implicit `auto Elem` param; when attempting to use `get`
without the Vect module imported first you get `No such variable
Data.Vect.Elem`. This fixes that.
commit60ace3d18103a27f34d9c49ad8f9ba5e1282b666
authorLeif Warner <abimelech@gmail.com>
dateTue 26 May 2015, 14:55 (11 years ago)
parent6b3307a
libs/base/Data/HVect.idr+1−1
@@ -1,7 +1,7 @@
11module Data.HVect
22
33import Data.Fin
4−import Data.Vect
4+import public Data.Vect
55
66%access public
77%default total