{-# LANGUAGE TemplateHaskell #-}
module NoSlow.Micro.StorableVector
where

import Foreign ( Storable )
import qualified NoSlow.Backend.StorableVector as Impl
import qualified NoSlow.Micro.Kernels as K
import NoSlow.Backend.TH

import Language.Haskell.TH

type Spec_Vector = Impl.Vector
type Spec_Elem a = a
class Storable a => Spec_Context v a

$(specialise K.kernels)