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

import qualified NoSlow.Backend.Vector.Storable as Impl
import qualified NoSlow.Mini.Kernels as K
import NoSlow.Backend.TH

import Language.Haskell.TH

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

$(specialise K.kernels)