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

import qualified NoSlow.Backend.Uvector as Impl
import qualified NoSlow.Micro.Kernels as K
import NoSlow.Backend.TH

import Language.Haskell.TH

type Spec_Vector = Impl.UArr
type Spec_Elem a = a
class Impl.UA a => Spec_Context v a

$(specialise K.kernels)