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)