@@ -19,7 +19,6 @@
19module Data.FileEmbed
19module Data.FileEmbed
20 ( -- * Embed at compile time
20 ( -- * Embed at compile time
23 , embedOneFileOf
22 , embedOneFileOf
24 , embedDir
23 , embedDir
25 , embedDirListing
24 , embedDirListing
@@ -39,7 +38,6 @@ module Data.FileEmbed
39 , injectFileWith
38 , injectFileWith
40 -- * Relative path manipulation
39 -- * Relative path manipulation
41 , makeRelativeToProject
40 , makeRelativeToProject
42− , makeRelativeToLocationPredicate
43 -- * Internal
41 -- * Internal
44 , stringToBs
42 , stringToBs
@@ -48,7 +46,11 @@ module Data.FileEmbed
49import Language.Haskell.TH.Syntax
47import Language.Haskell.TH.Syntax
50 ( Exp (AppE, ListE, LitE, TupE, SigE, VarE)
48 ( Exp (AppE, ListE, LitE, TupE, SigE, VarE)
51− , Lit (..)
49+#if MIN_VERSION_template_haskell(2,5,0)
50+ , Lit (StringL, StringPrimL, IntegerL)
52+ , Lit (StringL, IntegerL)
54 , qLocation, loc_filename
56 , qLocation, loc_filename
@@ -56,26 +58,19 @@ import Language.Haskell.TH.Syntax
56 , Quasi(qAddDependentFile)
58 , Quasi(qAddDependentFile)
59−#if MIN_VERSION_template_haskell(2,16,0)
60−import Language.Haskell.TH ( mkBytes, bytesPrimL )
61−import qualified Data.ByteString.Internal as B
63import System.Directory (doesDirectoryExist, doesFileExist,
61import System.Directory (doesDirectoryExist, doesFileExist,
64 getDirectoryContents, canonicalizePath)
62 getDirectoryContents, canonicalizePath)
65−import Control.Exception (throw, tryJust, ErrorCall(..))
63+import Control.Exception (throw, ErrorCall(..))
66−import Control.Monad (filterM, guard)
64+import Control.Monad (filterM)
67import qualified Data.ByteString as B
65import qualified Data.ByteString as B
68import qualified Data.ByteString.Char8 as B8
66import qualified Data.ByteString.Char8 as B8
69import Control.Arrow ((&&&), second)
67import Control.Arrow ((&&&), second)
70import Control.Applicative ((<$>))
68import Control.Applicative ((<$>))
71import Data.ByteString.Unsafe (unsafePackAddressLen)
69import Data.ByteString.Unsafe (unsafePackAddressLen)
72−import System.IO.Error (isDoesNotExistError)
73import System.IO.Unsafe (unsafePerformIO)
70import System.IO.Unsafe (unsafePerformIO)
74import System.FilePath ((</>), takeDirectory, takeExtension)
71import System.FilePath ((</>), takeDirectory, takeExtension)
75import Data.String (fromString)
72import Data.String (fromString)
76import Prelude as P
73import Prelude as P
77−import Data.List (sortBy)
78−import Data.Ord (comparing)
80-- | Embed a single file in your source code.
75-- | Embed a single file in your source code.
@@ -90,33 +85,6 @@ embedFile fp =
91 (runIO $ B.readFile fp) >>= bsToExp
86 (runIO $ B.readFile fp) >>= bsToExp
93−-- | Maybe embed a single file in your source code depending on whether or not file exists.
95−-- Warning: When a build is compiled with the file missing, a recompile when the file exists might not trigger an embed of the file.
96−-- You might try to fix this by doing a clean build.
98−-- > import qualified Data.ByteString
100−-- > maybeMyFile :: Maybe Data.ByteString.ByteString
101−-- > maybeMyFile = $(embedFileIfExists "dirName/fileName")
104−embedFileIfExists :: FilePath -> Q Exp
105−embedFileIfExists fp = do
106− mbs <- runIO maybeFile
108− Nothing -> [| Nothing |]
110−#if MIN_VERSION_template_haskell(2,7,0)
111− qAddDependentFile fp
113− [| Just $(bsToExp bs) |]
115− maybeFile :: IO (Maybe B.ByteString)
117− either (const Nothing) Just <$>
118− tryJust (guard . isDoesNotExistError) (B.readFile fp)
120-- | Embed a single existing file in your source code
88-- | Embed a single existing file in your source code
121-- out of list a list of paths supplied.
89-- out of list a list of paths supplied.
@@ -187,11 +155,7 @@ bsToExp bs =
187 return $ VarE 'unsafePerformIO
155 return $ VarE 'unsafePerformIO
188 `AppE` (VarE 'unsafePackAddressLen
156 `AppE` (VarE 'unsafePackAddressLen
189 `AppE` LitE (IntegerL $ fromIntegral $ B8.length bs)
157 `AppE` LitE (IntegerL $ fromIntegral $ B8.length bs)
190−#if MIN_VERSION_template_haskell(2, 16, 0)
158+#if MIN_VERSION_template_haskell(2, 8, 0)
191− `AppE` LitE (bytesPrimL (
192− let B.PS ptr off sz = bs
193− in mkBytes ptr (fromIntegral off) (fromIntegral sz))))
194−#elif MIN_VERSION_template_haskell(2, 8, 0)
195 `AppE` LitE (StringPrimL $ B.unpack bs))
159 `AppE` LitE (StringPrimL $ B.unpack bs))
197 `AppE` LitE (StringPrimL $ B8.unpack bs))
161 `AppE` LitE (StringPrimL $ B8.unpack bs))
@@ -266,7 +230,7 @@ fileList' realTop top = do
266 mapM (liftPair2 . second B.readFile)
230 mapM (liftPair2 . second B.readFile)
267 dirs <- filterM (doesDirectoryExist . snd) all' >>=
231 dirs <- filterM (doesDirectoryExist . snd) all' >>=
268 mapM (fileList' realTop . fst)
232 mapM (fileList' realTop . fst)
269− return $ sortBy (comparing fst) $ concat $ files : dirs
233+ return $ concat $ files : dirs
271liftPair2 :: Monad m => (a, m b) -> m (a, b)
235liftPair2 :: Monad m => (a, m b) -> m (a, b)
272liftPair2 (a, b) = b >>= \b' -> return (a, b')
236liftPair2 (a, b) = b >>= \b' -> return (a, b')
@@ -409,19 +373,7 @@ available, you can use the non-@With@ variants.
410-- @since 0.0.10
374-- @since 0.0.10
411makeRelativeToProject :: FilePath -> Q FilePath
375makeRelativeToProject :: FilePath -> Q FilePath
412−makeRelativeToProject = makeRelativeToLocationPredicate $ (==) ".cabal" . takeExtension
376+makeRelativeToProject rel = do
414−-- | Take a predicate to infer the project root and a relative file path, the given file path is then attached to the inferred project root
416−-- This function looks at the source location of the Haskell file calling it,
417−-- finds the first parent directory with a file matching the given predicate, and uses that as the
418−-- root directory for fixing the relative path.
420−-- @$(makeRelativeToLocationPredicate ((==) ".cabal" . takeExtension) "data/foo.txt" >>= embedFile)@
423−makeRelativeToLocationPredicate :: (FilePath -> Bool) -> FilePath -> Q FilePath
424−makeRelativeToLocationPredicate isTargetFile rel = do
425 loc <- qLocation
377 loc <- qLocation
426 runIO $ do
378 runIO $ do
427 srcFP <- canonicalizePath $ loc_filename loc
379 srcFP <- canonicalizePath $ loc_filename loc
@@ -436,6 +388,8 @@ makeRelativeToLocationPredicate isTargetFile rel = do
436 then return Nothing
388 then return Nothing
438 contents <- getDirectoryContents dir
390 contents <- getDirectoryContents dir
439− if any isTargetFile contents
391+ if any isCabalFile contents
440 then return (Just dir)
392 then return (Just dir)
441 else findProjectDir dir
393 else findProjectDir dir
395+ isCabalFile fp = takeExtension fp == ".cabal"