module Development.Shake.Plus.Extended.FileRules (
HasLocalOut(..)
, (/%>)
, (/|%>)
, (%^>)
, (|%^>)
) where
import Control.Comonad.Env as E
import Control.Exception.Extra
import Development.Shake.FilePath
import Development.Shake.Plus
import RIO as R
import Within
class HasLocalOut r where
localOutL :: Lens' r (Path Rel Dir)
(/%>) :: (MonadReader r m, HasLocalOut r, MonadRules m) => FilePattern -> ((Path Rel Dir, Path Rel File) -> RAction r ()) -> m ()
(/%>) xs ract = R.ask >>= \r -> do
let d = view localOutL r
(toFilePath d <> xs) %> (stripProperPrefix d >=> \x -> ract (d, x))
(/|%>) :: (MonadReader r m, HasLocalOut r, MonadRules m) => [FilePattern] -> ((Path Rel Dir, Path Rel File) -> RAction r ()) -> m ()
(/|%>) xs ract = R.ask >>= \r -> do
let d = view localOutL r
((toFilePath d <>) <$> xs) |%> (stripProperPrefix d >=> \x -> ract (d, x))
(%^>) :: (Partial, MonadReader r m, MonadRules m) => Within Rel FilePattern -> (Within Rel (Path Rel File) -> RAction r ()) -> m ()
(%^>) xs ract = liftA2 (Development.Shake.FilePath.</>) (toFilePath . E.ask) extract xs %> (ract <=< (`asWithin` E.ask xs))
(|%^>) :: (Partial, MonadReader r m, MonadRules m) => Within Rel [FilePattern] -> (Within Rel (Path Rel File) -> RAction r ()) -> m ()
(|%^>) xs ract = ((Development.Shake.FilePath.</>) (toFilePath . E.ask $ xs) <$> extract xs) |%> (ract <=< (`asWithin` E.ask xs))