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

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

import Language.Haskell.TH

type V a = [a]

$(specialise (Spec {
                specModule = "Impl"
              , specContext = \_ _ -> []
              , specVars    = [("v", ConT ''[])]
              })
  K.kernels)