{-# LANGUAGE PolyKinds #-}
module Data.TypeMap.List
( TypeList
, empty
, index
, cons
, (<|)
, snoc
, (|>)
, toVector
) where
import qualified Data.Vector as V
import Data.TypeMap.Internal.List
import Data.TypeMap.Internal.Vector (TypeVector(..))
toVector :: TypeList d -> TypeVector d
toVector :: TypeList d -> TypeVector d
toVector (TypeList [Any]
l) = Vector Any -> TypeVector d
forall k (d :: k). Vector Any -> TypeVector d
TypeVector ([Any] -> Vector Any
forall a. [a] -> Vector a
V.fromList [Any]
l)