Main.hs

{-# LANGUAGE TemplateHaskell #-}

import StaticCSV
import Data.Proxy

myData = $(staticCSV "my-data.csv" (Proxy :: Proxy (Int, String)))

main = print myData

my-data.csv

StaticCSV.hs

{-# LANGUAGE TemplateHaskell, FlexibleContexts #-}

module StaticCSV (staticCSV) where

import Control.Applicative
import Data.Csv as Csv hiding (Name)
import Data.Proxy
import Data.Data
import Language.Haskell.TH
import Language.Haskell.TH.Syntax (Lift, lift)
import qualified Data.ByteString.Lazy as BSL
import qualified Data.Vector as V

staticCSV :: (FromRecord a, Lift (V.Vector a)) => FilePath -> Proxy a -> ExpQ
staticCSV fileName ty = do
    contents <- runIO $ BSL.readFile fileName
    csv <- case decode NoHeader contents of
      Right a  -> return $ fmap (flip asProxyTypeOf ty) a
      Left err -> fail err
    lift csv

instance Lift a => Lift (V.Vector a) where
    lift v = do
        list <- ListE <$> mapM lift (V.toList v)
        return $ AppE (VarE 'V.fromList) list