Re-export of Shake using well-typed paths and ReaderT.

Version on this page:
LTS Haskell 22.11:
Stackage Nightly 2024-02-22:
Latest on Hackage:

See all snapshots shake-plus appears in

MIT licensed by Daniel Firth
Maintained by [email protected]
This version can be pinned in stack with:shake-plus-,2296

Shake+ - Super Powered Shake

Attempt at a batteries included Shake. We reexport replacements for the main utility functions of Shake with the following adjustments whereever possible.

  • Well-typed paths using the path
  • New type classes MonadAction, MonadUnliftAction and MonadRules with concrete ReaderT transformers:
    • RAction r a = RAction (ReaderT r Action a) and
    • ShakePlus r a = ShakePlus (ReaderT r Rules a)
  • Text instead of String wherever it is appropriate.
  • within style variants of the standard file and directory operations that in some cases return or accept Within b (Path Rel File) values to keep tags of parent directories.

This is an early release and some things may be missing or broken, but so far the conveniences have been worth it. Some notes on the approach are detailed below.


Using the path library is kind of a no brainer. I lose a lot of time to problems that could be avoided by using this library, so it’s everywhere. The names for these functions shadow the existing names, so you may want to import qualified Development.Shake while this library progresses if you have other FilePath based Shake rules that you want to mix into your build.

The standard Development.Shake.FilePath functions for directory manipulation are not re-exported in full, and you should use the functions in the path library (such as replaceExtension) and other path-based libraries. This will probably change.

FilePatterns are kept as-is, as Path is strongly normalizing it makes sense to keep these as Strings.


The ReaderT r Action a transformer (called RAction) is similar to the RIO type and should be used similarly. In fact, you can reuse the logging functions from RIO within any RAction block, which is one of the main motivators for having an Action which is also a MonadReader. If you need to reuse an existing shake Action in an RAction, use liftAction.

Using Within

One common complaint about Shake is having to keep track of source and output directories and translating FilePaths when using the input to an Action, leading to lots of repetition of the form (sourceFolder </>) . (-<.> ".ext") . dropDirectory1 which is prone to breakage. Using Path helps this to some degree, but in some cases is even more annoying because lots of Path functions use MonadThrow, leading to lots of monadic steps inside an RAction.

To alleviate this somewhat, we use Within b (Path Rel File) as a standard pattern for representing a file within a directory. Within is a type available in the within package that is simply a newtype wrapper over an Env comonad with the environment specialized to Path b Dir. We provide variants of the file operations and rules that typically accept or return Paths or contain callbacks that expect paths and change these to Within values. These functions are generally suffixed within. Here is the variant of getDirectoryFiles that produces Within values.

getDirectoryFilesWithin' :: MonadAction m => Path b Dir -> [FilePattern] -> m [Within b (Path Rel File)]

You can convert to and from this within-style using within and fromWithin.

let x = $(mkRelFile "a.txt") `within` $(mkRelDir "foo") -- Within Rel (Path Rel File)
fromWithin x -- produces a `Path Rel File`

and you can assert that an existing path lies in a directory by using asWithin, which throws if the directory is not a proper prefix of the Path.

$(mkRelFile "foo/a.txt") `asWithin` $(mkRelDir "foo") -- fine
$(mkRelFile "a.txt") `asWithin` $(mkRelDir "foo") -- throws error

Filerules such as (%>) have within-style variants that accept an (Path b Dir) FilePattern on the left and carry that env to the callback.

(%^>) :: (Partial, MonadReader r m, MonadRules m) => Within Rel FilePattern -> (Within Rel (Path Rel File) -> RAction r ()) -> m ()

You change the underlying filepath with fmap or mapM, whilst you can move to a new parent directory by using localDir, or localDirM which is defined in the Within library for when the map between parent directories may throw. The Within library also contains more functions and instances for more precise changes between output and source directories.


The main entry point to this library is the runShakePlus function, which collapses a ReaderT r Rules () to a Rules () and passes the environment to each underlying RAction. The rs in ShakePlus and the underlying RActions have to match. A typical setup might look like this.

let r = --setup env here
shake shakeOptions $ do

    -- include some regular shake rules.

    runShakePlus r $ do

      -- some shake-plus rules.


Changelog for shake-plus


  • Add unlifted versions of parallel, forP and par.


  • Add lower bound to aeson.
  • Remove hashable dependency.


  • Reexport Development.Shake.Classes and Development.Shake.RuleResult.


  • Add runSimpleShakePlus for quickrunning with args and a log function.


  • Re-export Path and Within.


  • Add getDirectoryFilesWithinIO and getDirectoryFilesWithinIO'


  • Re-export Development.Shake.shakeArgs.


  • Re-export Development.Shake.Command with lifted command and command_.


  • Add copyFileWithin' and copyFileChangedWithin.


  • Make Within style functions more consistent in that they actually take Within values across the board.
  • Make batchLoad functions more consistent and usable.
  • need and want variants now take any Traversable.


  • Update to within- which changes the data type to an Env comonad.
  • Drop the loadSortFilterApply loader functions in favour of a simpler batchLoad set of functions which accepts a loading function which can be cached.
  • Add enough documentation to get started.


  • Add functions based on Within to better keep track of source and target directories.
  • Reexport more shake functions to remove need to import vanilla shake qualified.
  • Add convenience functions loadSortFilterApply and loadSortFilterApplyW for batch loading via MonadAction.
  • Add more of the API surface with Path and Within including variants of need, want readFile, writeFile.


  • Initial sketch of shake-plus with reexported functions. Mostly oracles, filepaths and directory functions using Path, and MonadAction, MonadUnliftAction and MonadRules with ReaderT transformers in a similar style to RIO