{-# LANGUAGE TemplateHaskell #-}
module NoSlow.Micro.Vector.Storable
where

import qualified NoSlow.Backend.Vector.Storable 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 Impl.Storable a => Spec_Context v a

$(specialise K.kernels)