aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/PursLoader/Loader.purs
diff options
context:
space:
mode:
Diffstat (limited to 'src/PursLoader/Loader.purs')
-rw-r--r--src/PursLoader/Loader.purs139
1 files changed, 46 insertions, 93 deletions
diff --git a/src/PursLoader/Loader.purs b/src/PursLoader/Loader.purs
index a91667c..0cd077d 100644
--- a/src/PursLoader/Loader.purs
+++ b/src/PursLoader/Loader.purs
@@ -4,122 +4,75 @@ module PursLoader.Loader
4 , loaderFn 4 , loaderFn
5 ) where 5 ) where
6 6
7import Prelude (Unit(), ($), (<>), (>>=), (<$>), (++), bind, flip, id, pure, return, unit, show) 7import Prelude (Unit(), ($), (>>=), (<$>), (<*>), (<<<), (++), bind, const)
8 8
9import Control.Monad.Aff (Aff(), runAff) 9import Control.Bind (join)
10import Control.Monad.Eff (Eff()) 10import Control.Monad.Eff (Eff())
11import Control.Monad.Eff.Class (liftEff) 11import Control.Monad.Eff.Exception (Error(), error)
12import Control.Monad.Eff.Exception (throwException, error, EXCEPTION())
13 12
14import Data.Array ((!!), concat) 13import Data.Array ((!!))
15import Data.Function (Fn2(), mkFn2) 14import Data.Function (Fn2(), mkFn2)
16import Data.Maybe (Maybe(..), fromMaybe, maybe) 15import Data.Maybe (Maybe(..), maybe)
17import Data.Either (Either(..)) 16import Data.Either (either)
18import Data.String (joinWith) 17import Data.Foreign (Foreign())
19import Data.String.Regex (Regex(), match, noFlags, regex, test)
20import Data.Traversable (sequence)
21import Data.Foreign (F())
22import Data.Foreign.Class (read) 18import Data.Foreign.Class (read)
19import Data.Foreign.Null (runNull)
20import Data.String.Regex (Regex(), match, noFlags, regex)
21
22import Unsafe.Coerce (unsafeCoerce)
23
24import PursLoader.LoaderRef
25 ( LoaderRef()
26 , Loader()
27 , async
28 , cacheable
29 , query
30 , clearDependencies
31 , addDependency
32 , resourcePath
33 )
23 34
24import PursLoader.ChildProcess (ChildProcess(), spawn)
25import PursLoader.FS (FS(), writeFileUtf8, findFileUtf8)
26import PursLoader.Glob (Glob(), globAll)
27import PursLoader.LoaderRef (LoaderRef(), Loader(), async, cacheable, query, clearDependencies, addDependency, resourcePath)
28import PursLoader.LoaderUtil (parseQuery) 35import PursLoader.LoaderUtil (parseQuery)
29import PursLoader.Options (loaderFFIOption, loaderSrcOption, pscOptions, Options(), output) 36import PursLoader.Options (runOptions)
37import PursLoader.Path (dirname, relative)
30 38
31type Effects eff = (cp :: ChildProcess, fs :: FS, glob :: Glob, loader :: Loader, err :: EXCEPTION | eff) 39type Effects eff = (loader :: Loader | eff)
32 40
33moduleRegex :: Regex 41type PurescriptWebpackPluginContext eff = { compile :: (Foreign -> Eff (Effects eff) Unit) -> Eff (Effects eff) Unit }
34moduleRegex = regex "(?:^|\\n)module\\s+([\\w\\.]+)" noFlags { ignoreCase = true }
35 42
36foreignRegex :: Regex 43loader :: forall eff. LoaderRef -> String -> Eff (Effects eff) Unit
37foreignRegex = regex "(?:^|\\n)\\s*foreign import\\s+" noFlags { ignoreCase = true } 44loader ref source = do
38 45 callback <- async ref
39pscCommand :: String
40pscCommand = "psc"
41
42psciCommand :: String
43psciCommand = "psci"
44
45psciFilename :: String
46psciFilename = ".psci"
47
48(!!!) :: forall a. Int -> Array a -> Maybe a
49(!!!) = flip (!!)
50
51foreign import cwd :: String
52
53foreign import relative :: String -> String -> String
54
55foreign import resolve :: String -> String
56
57foreign import dirname :: String -> String
58
59foreign import joinPath :: String -> String -> String
60
61mkPsci :: Array (Array String) -> Array (Array String) -> String
62mkPsci srcs ffis = joinWith "\n" ((loadModule <$> concat srcs) <> (loadForeign <$> concat ffis))
63 where
64 loadModule :: String -> String
65 loadModule a = ":m " ++ relative cwd a
66
67 loadForeign :: String -> String
68 loadForeign a = ":f " ++ relative cwd a
69
70findFFI :: forall eff. Array (Array String) -> String -> Aff (fs :: FS | eff) (Maybe String)
71findFFI ffiss name = findFileUtf8 re (concat ffiss)
72 where
73 re = regex ("(?:^|\\n)//\\s*module\\s*" ++ name ++ "\\s*\\n") noFlags
74 46
75loader' :: forall eff. LoaderRef -> String -> Aff (Effects eff) (Maybe String) 47 cacheable ref
76loader' ref source = do
77 liftEff $ cacheable ref
78 48
79 let parsed = parseQuery $ query ref 49 let parsed = parseQuery $ query ref
80 srcs = fromMaybe [] (loaderSrcOption parsed)
81 ffis = fromMaybe [] (loaderFFIOption parsed)
82 50
83 case read parsed :: F Options of 51 options = either (const Nothing) (Just <<< runOptions) (read parsed)
84 Left e -> liftEff (throwException (error (show e)))
85 Right opts -> do
86 let pscOpts = pscOptions opts
87 52
88 srcss <- globAll srcs 53 moduleName = join $ match moduleRegex source >>= \as -> as !! 1
89 ffiss <- globAll ffis
90 54
91 let psciFile = mkPsci srcss ffiss 55 resourceDir = dirname (resourcePath ref)
92 56
93 writeFileUtf8 psciFilename psciFile 57 modulePath = (\opts -> relative resourceDir opts.pscBundle) <$> options
94 58
95 let moduleName = match moduleRegex source >>= (!!!) 1 >>= id 59 result = (\path name -> "module.exports = require('" ++ path ++ "')['" ++ name ++ "'];") <$> modulePath <*> moduleName
96 hasForeign = test foreignRegex source
97 outputDir = resolve (output opts)
98 resourceDir = dirname (resourcePath ref)
99 result = (\a -> "module.exports = require('" ++ relative resourceDir (joinPath outputDir a) ++ "');") <$> moduleName
100 60
101 liftEff do 61 clearDependencies ref
102 clearDependencies ref
103 addDependency ref (resourcePath ref)
104 sequence $ (\src -> addDependency ref (resolve src)) <$> concat srcss
105 62
106 foreignPath <- if hasForeign 63 addDependency ref (resourcePath ref)
107 then fromMaybe (pure Nothing) (findFFI ffiss <$> moduleName)
108 else pure Nothing
109 64
110 fromMaybe (pure unit) ((\path -> liftEff (addDependency ref path)) <$> foreignPath) 65 pluginContext.compile (\err -> maybe (callback (Just $ error "Failed to run loader") "")
111 66 (callback (compileError err)) result)
112 spawn pscCommand (srcs <> pscOpts) 67 where
68 moduleRegex :: Regex
69 moduleRegex = regex "(?:^|\\n)module\\s+([\\w\\.]+)" noFlags { ignoreCase = true }
113 70
114 return result 71 pluginContext :: PurescriptWebpackPluginContext eff
72 pluginContext = (unsafeCoerce ref).purescriptWebpackPluginContext
115 73
116loader :: forall eff. LoaderRef -> String -> Eff (Effects eff) Unit 74 compileError :: Foreign -> Maybe Error
117loader ref source = do 75 compileError value = either (const $ Just (error "Failed to compile")) ((<$>) error) (runNull <$> read value)
118 callback <- async ref
119 runAff (\e -> callback (Just e) "")
120 (maybe (callback (Just (error "Loader has failed to run")) "")
121 (callback Nothing))
122 (loader' ref source)
123 76
124loaderFn :: forall eff. Fn2 LoaderRef String (Eff (Effects eff) Unit) 77loaderFn :: forall eff. Fn2 LoaderRef String (Eff (Effects eff) Unit)
125loaderFn = mkFn2 loader 78loaderFn = mkFn2 loader