--------------------------------------------------------------------------------
{- | 'Routes' is part of the 'Hakyll.Core.Rules.Rules' processing pipeline.
It determines if and where the compilation result of the underlying
'Hakyll.Core.Item.Item' being processed is written out to
(relative to the destination directory as configured in
'Hakyll.Core.Configuration.destinationDirectory').

* __If there is no route for an item, the compiled item won't be written
out to a file__ and so won't appear in the destination (site) directory.

* If an item matches multiple routes, the first route will be chosen.

__Examples__

Suppose we have a markdown file @posts\/hakyll.md@. We can route its
compilation result to @posts\/hakyll.html@ using 'setExtension':

> -- file on disk: '<project-directory>/posts/hakyll.md'
> match "posts/*" $ do
>     -- compilation result is written to '<destination-directory>/posts/hakyll.html'
>     route (setExtension "html")
>     compile pandocCompiler
Hint: You can configure the destination directory with
'Hakyll.Core.Configuration.destinationDirectory'.

If we do not want to change the extension, we can replace 'setExtension' with
'idRoute' (the simplest route available):

>     -- compilation result is written to '<destination-directory>/posts/hakyll.md'
>     route idRoute

That will route the file @posts\/hakyll.md@ from the project directory to
@posts\/hakyll.md@ in the destination directory.

Note: __The extension of the destination filepath says nothing about the
content!__ If you set the extension to @.html@, you have to ensure that the
compilation result is indeed HTML (for example with the
'Hakyll.Web.Pandoc.pandocCompiler' to transform Markdown to HTML).

Take a look at the built-in routes here for detailed usage examples.
-}
{-# LANGUAGE CPP        #-}
{-# LANGUAGE Rank2Types #-}
module Hakyll.Core.Routes
    ( Routes
    , UsedMetadata
    , runRoutes
    , idRoute
    , setExtension
    , matchRoute
    , customRoute
    , constRoute
    , gsubRoute
    , metadataRoute
    , composeRoutes
    ) where


--------------------------------------------------------------------------------
#if MIN_VERSION_base(4,9,0)
import           Data.Semigroup                 (Semigroup (..))
#endif
import           System.FilePath                (replaceExtension, normalise)


--------------------------------------------------------------------------------
import           Hakyll.Core.Identifier
import           Hakyll.Core.Identifier.Pattern
import           Hakyll.Core.Metadata
import           Hakyll.Core.Provider
import           Hakyll.Core.Util.String


--------------------------------------------------------------------------------
-- | When you ran a route, it's useful to know whether or not this used
-- metadata. This allows us to do more granular dependency analysis.
type UsedMetadata = Bool


--------------------------------------------------------------------------------
data RoutesRead = RoutesRead
    { RoutesRead -> Provider
routesProvider   :: Provider
    , RoutesRead -> Identifier
routesUnderlying :: Identifier
    }


--------------------------------------------------------------------------------
-- | Type used for a route
newtype Routes = Routes
    { Routes
-> RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
unRoutes :: RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
    }


--------------------------------------------------------------------------------
#if MIN_VERSION_base(4,9,0)
instance Semigroup Routes where
    <> :: Routes -> Routes -> Routes
(<>) (Routes RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
f) (Routes RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
g) = (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
Routes ((RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> Routes)
-> (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
forall a b. (a -> b) -> a -> b
$ \RoutesRead
p Identifier
id' -> do
        (Maybe FilePath
mfp, UsedMetadata
um) <- RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
f RoutesRead
p Identifier
id'
        case Maybe FilePath
mfp of
            Maybe FilePath
Nothing -> RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
g RoutesRead
p Identifier
id'
            Just FilePath
_  -> (Maybe FilePath, UsedMetadata) -> IO (Maybe FilePath, UsedMetadata)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe FilePath
mfp, UsedMetadata
um)

instance Monoid Routes where
    mempty :: Routes
mempty  = (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
Routes ((RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> Routes)
-> (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
forall a b. (a -> b) -> a -> b
$ \RoutesRead
_ Identifier
_ -> (Maybe FilePath, UsedMetadata) -> IO (Maybe FilePath, UsedMetadata)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe FilePath
forall a. Maybe a
Nothing, UsedMetadata
False)
    mappend :: Routes -> Routes -> Routes
mappend = Routes -> Routes -> Routes
forall a. Semigroup a => a -> a -> a
(<>)
#else
instance Monoid Routes where
    mempty = Routes $ \_ _ -> return (Nothing, False)
    mappend (Routes f) (Routes g) = Routes $ \p id' -> do
        (mfp, um) <- f p id'
        case mfp of
            Nothing -> g p id'
            Just _  -> return (mfp, um)
#endif


--------------------------------------------------------------------------------
-- | Apply a route to an identifier
runRoutes :: Routes -> Provider -> Identifier
          -> IO (Maybe FilePath, UsedMetadata)
runRoutes :: Routes
-> Provider -> Identifier -> IO (Maybe FilePath, UsedMetadata)
runRoutes Routes
routes Provider
provider Identifier
identifier =
    Routes
-> RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
unRoutes Routes
routes (Provider -> Identifier -> RoutesRead
RoutesRead Provider
provider Identifier
identifier) Identifier
identifier


--------------------------------------------------------------------------------
{- | An "identity" route that interprets the identifier (of the item being
processed) as the destination filepath. This identifier is normally the
filepath of the source file being processed.
See 'Hakyll.Core.Identifier.Identifier' for details.

=== __Examples__
__Route when using match__

> -- e.g. file on disk: '<project-directory>/posts/hakyll.md'
>
> -- 'hakyll.md' source file implicitly gets filepath as identifier:
> -- 'posts/hakyll.md'
> match "posts/*" $ do
>
>     -- compilation result is written to '<destination-directory>/posts/hakyll.md'
>     route idRoute
>
>     compile getResourceBody
-}
idRoute :: Routes
idRoute :: Routes
idRoute = (Identifier -> FilePath) -> Routes
customRoute Identifier -> FilePath
toFilePath


--------------------------------------------------------------------------------
{- | Create a route like 'idRoute' that interprets the identifier (of the item
being processed) as the destination filepath but also sets (or replaces) the
extension suffix of that path. This identifier is normally the filepath of the
source file being processed.
See 'Hakyll.Core.Identifier.Identifier' for details.

=== __Examples__
__Route with an existing extension__

> -- e.g. file on disk: '<project-directory>/posts/hakyll.md'
>
> -- 'hakyll.md' source file implicitly gets filepath as identifier:
> -- 'posts/hakyll.md'
> match "posts/*" $ do
>
>     -- compilation result is written to '<destination-directory>/posts/hakyll.html'
>     route (setExtension "html")
>
>     compile pandocCompiler

__Route without an existing extension__

> -- implicitly gets identifier: 'about'
> create ["about"] $ do
>
>     -- compilation result is written to '<destination-directory>/about.html'
>     route (setExtension "html")
>
>     compile $ makeItem ("Hello world" :: String)
-}
setExtension :: String -> Routes
setExtension :: FilePath -> Routes
setExtension FilePath
extension = (Identifier -> FilePath) -> Routes
customRoute ((Identifier -> FilePath) -> Routes)
-> (Identifier -> FilePath) -> Routes
forall a b. (a -> b) -> a -> b
$
    (FilePath -> FilePath -> FilePath
`replaceExtension` FilePath
extension) (FilePath -> FilePath)
-> (Identifier -> FilePath) -> Identifier -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Identifier -> FilePath
toFilePath


--------------------------------------------------------------------------------
-- | Apply the route if the identifier matches the given pattern, fail
-- otherwise
matchRoute :: Pattern -> Routes -> Routes
matchRoute :: Pattern -> Routes -> Routes
matchRoute Pattern
pattern (Routes RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
route) = (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
Routes ((RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> Routes)
-> (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
forall a b. (a -> b) -> a -> b
$ \RoutesRead
p Identifier
id' ->
    if Pattern -> Identifier -> UsedMetadata
matches Pattern
pattern Identifier
id' then RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
route RoutesRead
p Identifier
id' else (Maybe FilePath, UsedMetadata) -> IO (Maybe FilePath, UsedMetadata)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe FilePath
forall a. Maybe a
Nothing, UsedMetadata
False)


--------------------------------------------------------------------------------
{- | Create a route where the destination filepath is built with the given
construction function. The provided identifier for that function is normally the
filepath of the source file being processed.
See 'Hakyll.Core.Identifier.Identifier' for details.

=== __Examples__
__Route that appends a custom extension__

> -- e.g. file on disk: '<project-directory>/posts/hakyll.md'
>
> -- 'hakyll.md' source file implicitly gets filepath as identifier:
> -- 'posts/hakyll.md'
> match "posts/*" $ do
>
>     -- compilation result is written to '<destination-directory>/posts/hakyll.md.html'
>     route $ customRoute ((<> ".html") . toFilePath)
>
>     compile pandocCompiler
Note that the last part of the destination filepath becomes @.md.html@
-}
customRoute :: (Identifier -> FilePath) -- ^ Destination filepath construction function
            -> Routes                   -- ^ Resulting route
customRoute :: (Identifier -> FilePath) -> Routes
customRoute Identifier -> FilePath
f = (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
Routes ((RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> Routes)
-> (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
forall a b. (a -> b) -> a -> b
$ (Identifier -> IO (Maybe FilePath, UsedMetadata))
-> RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
forall a b. a -> b -> a
const ((Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> (Identifier -> IO (Maybe FilePath, UsedMetadata))
-> RoutesRead
-> Identifier
-> IO (Maybe FilePath, UsedMetadata)
forall a b. (a -> b) -> a -> b
$ \Identifier
id' -> (Maybe FilePath, UsedMetadata) -> IO (Maybe FilePath, UsedMetadata)
forall (m :: * -> *) a. Monad m => a -> m a
return (FilePath -> Maybe FilePath
forall a. a -> Maybe a
Just (Identifier -> FilePath
f Identifier
id'), UsedMetadata
False)


--------------------------------------------------------------------------------
{- | Create a route that writes the compiled item to the given destination
filepath (ignoring any identifier or other data about the item being processed).
Warning: you should __use a specific destination path only for a single file in
a single compilation rule__. Otherwise it's unclear which of the contents should
be written to that route.

=== __Examples__
__Route to a specific filepath__

> -- implicitly gets identifier: 'main' (ignored on next line)
> create ["main"] $ do
>
>     -- compilation result is written to '<destination-directory>/index.html'
>     route $ constRoute "index.html"
>
>     compile $ makeItem ("<h1>Hello World</h1>" :: String)
-}
constRoute :: FilePath -> Routes
constRoute :: FilePath -> Routes
constRoute = (Identifier -> FilePath) -> Routes
customRoute ((Identifier -> FilePath) -> Routes)
-> (FilePath -> Identifier -> FilePath) -> FilePath -> Routes
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Identifier -> FilePath
forall a b. a -> b -> a
const


--------------------------------------------------------------------------------
{- | Create a "substituting" route that searches for substrings (in the
underlying identifier) that match the given pattern and transforms them
according to the given replacement function.
The identifier here is that of the underlying item being processed and is
interpreted as an destination filepath. It's normally the filepath of the
source file being processed.
See 'Hakyll.Core.Identifier.Identifier' for details.

Hint: The name "gsub" comes from a similar function in 
[R](https://www.r-project.org) and can be read as "globally substituting" 
(globally in the Unix sense of repeated, not just once).

=== __Examples__
__Route that replaces part of the filepath__

> -- e.g. file on disk: '<project-directory>/posts/hakyll.md'
>
> -- 'hakyll.md' source file implicitly gets filepath as identifier:
> -- 'posts/hakyll.md'
> match "posts/*" $ do
>
>     -- compilation result is written to '<destination-directory>/haskell/hakyll.md'
>     route $ gsubRoute "posts/" (const "haskell/")
>
>     compile getResourceBody
Note that "posts\/" is replaced with "haskell\/" in the destination filepath.

__Route that removes part of the filepath__

> -- implicitly gets identifier: 'tags/rss/bar.xml'
> create ["tags/rss/bar.xml"] $ do
>
>     -- compilation result is written to '<destination-directory>/tags/bar.xml'
>     route $ gsubRoute "rss/" (const "")
>
>     compile ...
Note that "rss\/" is removed from the destination filepath.
-}
gsubRoute :: String              -- ^ Pattern to repeatedly match against in the underlying identifier
          -> (String -> String)  -- ^ Replacement function to apply to the matched substrings
          -> Routes              -- ^ Resulting route
gsubRoute :: FilePath -> (FilePath -> FilePath) -> Routes
gsubRoute FilePath
pattern FilePath -> FilePath
replacement = (Identifier -> FilePath) -> Routes
customRoute ((Identifier -> FilePath) -> Routes)
-> (Identifier -> FilePath) -> Routes
forall a b. (a -> b) -> a -> b
$
    FilePath -> FilePath
normalise (FilePath -> FilePath)
-> (Identifier -> FilePath) -> Identifier -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> (FilePath -> FilePath) -> FilePath -> FilePath
replaceAll FilePath
pattern (FilePath -> FilePath
replacement (FilePath -> FilePath)
-> (FilePath -> FilePath) -> FilePath -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> FilePath
removeWinPathSeparator) (FilePath -> FilePath)
-> (Identifier -> FilePath) -> Identifier -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> FilePath
removeWinPathSeparator (FilePath -> FilePath)
-> (Identifier -> FilePath) -> Identifier -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Identifier -> FilePath
toFilePath
    where
        -- Filepaths on Windows containing `\\' will trip Regex matching, which
        -- is used in replaceAll. We normalise filepaths to have '/' as a path separator
        -- using removeWinPathSeparator


--------------------------------------------------------------------------------
{- | Wrapper function around other route construction functions to get
access to the metadata (of the underlying item being processed) and use that for
the destination filepath construction.
Warning: you have to __ensure that the accessed metadata fields actually
exists__.

=== __Examples__
__Route that uses a custom slug markdown metadata field__

To create a search engine optimized yet human-readable url, we can introduce
a [slug](https://en.wikipedia.org/wiki/Clean_URL#Slug) metadata field to our
files, e.g. like in the following Markdown file: 'posts\/hakyll.md'

> ---
> title: Hakyll Post
> slug: awesome-post
> ...
> ---
> In this blog post we learn about Hakyll ...

Then we can construct a route whose destination filepath is based on that field:

> match "posts/*" $ do
>
>     -- compilation result is written to '<destination-directory>/awesome-post.html'
>     route $ metadataRoute $ \meta ->
>         constRoute $ fromJust (lookupString "slug" meta) <> ".html"
>
>     compile pandocCompiler
Note how we wrap 'metadataRoute' around the 'constRoute' function and how the
slug is looked up from the markdown field to construct the destination filepath.
You can use helper functions like 'Hakyll.Core.Metadata.lookupString' to access
a specific metadata field.
-}
metadataRoute :: (Metadata -> Routes) -- ^ Wrapped route construction function
              -> Routes               -- ^ Resulting route
metadataRoute :: (Metadata -> Routes) -> Routes
metadataRoute Metadata -> Routes
f = (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
Routes ((RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> Routes)
-> (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
forall a b. (a -> b) -> a -> b
$ \RoutesRead
r Identifier
i -> do
    Metadata
metadata <- Provider -> Identifier -> IO Metadata
resourceMetadata (RoutesRead -> Provider
routesProvider RoutesRead
r) (RoutesRead -> Identifier
routesUnderlying RoutesRead
r)
    Routes
-> RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
unRoutes (Metadata -> Routes
f Metadata
metadata) RoutesRead
r Identifier
i


--------------------------------------------------------------------------------
{- | Compose two routes where __the first route is applied before the second__.
So @f \`composeRoutes\` g@ is more or less equivalent with @g . f@.

Warning: If the first route fails (e.g. when using 'matchRoute'), Hakyll will
not apply the second route (if you need Hakyll to try the second route,
use '<>' on 'Routes' instead).

=== __Examples__
__Route that applies two transformations__

> -- e.g. file on disk: '<project-directory>/posts/hakyll.md'
>
> -- 'hakyll.md' source file implicitly gets filepath as identifier:
> -- 'posts/hakyll.md'
> match "posts/*" $ do
>
>     -- compilation result is written to '<destination-directory>/hakyll.html'
>     route $ gsubRoute "posts/" (const "") `composeRoutes` setExtension "html"
>
>     compile pandocCompiler
The identifier here is that of the underlying item being processed and is
interpreted as an destination filepath.
See 'Hakyll.Core.Identifier.Identifier' for details.
Note how we first remove the "posts\/" substring from that destination filepath
 with 'gsubRoute' and then replace the extension with 'setExtension'.
-}
composeRoutes :: Routes  -- ^ First route to apply
              -> Routes  -- ^ Second route to apply
              -> Routes  -- ^ Resulting route
composeRoutes :: Routes -> Routes -> Routes
composeRoutes (Routes RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
f) (Routes RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
g) = (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
Routes ((RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
 -> Routes)
-> (RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata))
-> Routes
forall a b. (a -> b) -> a -> b
$ \RoutesRead
p Identifier
i -> do
    (Maybe FilePath
mfp, UsedMetadata
um) <- RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
f RoutesRead
p Identifier
i
    case Maybe FilePath
mfp of
        Maybe FilePath
Nothing -> (Maybe FilePath, UsedMetadata) -> IO (Maybe FilePath, UsedMetadata)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe FilePath
forall a. Maybe a
Nothing, UsedMetadata
um)
        Just FilePath
fp -> do
            (Maybe FilePath
mfp', UsedMetadata
um') <- RoutesRead -> Identifier -> IO (Maybe FilePath, UsedMetadata)
g RoutesRead
p (FilePath -> Identifier
fromFilePath FilePath
fp)
            (Maybe FilePath, UsedMetadata) -> IO (Maybe FilePath, UsedMetadata)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe FilePath
mfp', UsedMetadata
um UsedMetadata -> UsedMetadata -> UsedMetadata
|| UsedMetadata
um')