module Data.TypeMap.Vector ( TypeVector , empty , index , cons , (<|) , snoc , (|>) , toList ) where import qualified Data.Vector as V import Data.TypeMap.Internal.List (TypeList(..)) import Data.TypeMap.Internal.Vector -- | Convert from a vector to a list. toList :: TypeVector d -> TypeList l toList :: TypeVector d -> TypeList l toList (TypeVector Vector Any v) = [Any] -> TypeList l forall k (d :: k). [Any] -> TypeList d TypeList (Vector Any -> [Any] forall a. Vector a -> [a] V.toList Vector Any v)