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

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

import Language.Haskell.TH

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

$(specialise K.kernels)