summaryrefslogtreecommitdiff
path: root/src/Text/Hakyll/Page.hs
blob: 347e10ae8815dfc5d5da6c4e7f382d6dbbeaa24b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
-- | A module for dealing with @Page@s. This module is mostly internally used.
module Text.Hakyll.Page
    ( PageSection (..)
    , readPage
    , readPageAction
    ) where

import Data.List (isPrefixOf)
import Data.Char (isSpace)
import Control.Monad.Reader (liftIO)
import System.FilePath
import Control.Monad.State (State, evalState, get, put)

import Text.Hakyll.File
import Text.Hakyll.HakyllMonad
import Text.Hakyll.HakyllAction
import Text.Hakyll.Regex (substituteRegex, matchesRegex)
import Text.Hakyll.Util (trim)

-- | A page is first parsed into a number of page sections. A page section
-- consists of:
--
-- * A key
--
-- * A value
--
-- * A 'Bool' flag, indicating if the value is applicable for rendering
--
data PageSection = PageSection {unPageSection :: (String, String, Bool)}
                 deriving (Show)

-- | Split a page into sections.
--
splitAtDelimiters :: [String] -> State (Maybe String) [[String]]
splitAtDelimiters [] = return []
splitAtDelimiters ls@(x:xs) = do
    delimiter <- get
    if not (isDelimiter delimiter x)
        then return [ls]
        else do let proper = takeWhile (== '-') x
                    (content, rest) = break (isDelimiter $ Just proper) xs
                put $ Just proper
                rest' <- splitAtDelimiters rest
                return $ (x : content) : rest'
  where
    isDelimiter old = case old of
        Nothing  -> isPossibleDelimiter
        (Just d) -> (== d) . takeWhile (== '-')

-- | Check if the given string is a metadata delimiter.
isPossibleDelimiter :: String -> Bool
isPossibleDelimiter = isPrefixOf "---"

-- | Read one section of a page.
--
readSection :: Bool -- ^ If this section is the first section in the page.
            -> [String] -- ^ Lines in the section.
            -> [PageSection] -- ^ Key-values extracted.
readSection _ [] = []
readSection isFirst ls
    | not isDelimiter' = [body ls]
    | isNamedDelimiter = readSectionMetaData ls
    | isFirst = readSimpleMetaData (drop 1 ls)
    | otherwise = [body (drop 1 ls)]
  where
    isDelimiter' = isPossibleDelimiter (head ls)
    isNamedDelimiter = head ls `matchesRegex` "^----*  *[a-zA-Z0-9][a-zA-Z0-9]*"
    body ls' = PageSection ("body", unlines ls', True)

    readSimpleMetaData = map readPair . filter (not . all isSpace)
    readPair = trimPair . break (== ':')
    trimPair (key, value) = PageSection (trim key, trim (drop 1 value), False)

    readSectionMetaData [] = []
    readSectionMetaData (header:value) =
        let key = substituteRegex "[^a-zA-Z0-9]" "" header
        in [PageSection (key, unlines value, True)]

-- | Read a page from a file. Metadata is supported.
--
readPage :: FilePath -> Hakyll [PageSection]
readPage path = do
    let sectionFunctions = map readSection $ True : repeat False

    -- Read file.
    contents <- liftIO $ readFile path
    url <- toUrl path
    let sections = evalState (splitAtDelimiters $ lines contents) Nothing
        sectionsData = concat $ zipWith ($) sectionFunctions sections

    return $ PageSection ("url", url, False)
           : PageSection ("path", path, False)
           : (category ++ sectionsData)
  where
    category = let dirs = splitDirectories $ takeDirectory path
               in [PageSection ("category", last dirs, False) | not (null dirs)]

-- | Read a page from a file. Metadata is supported.
--
readPageAction :: FilePath -> HakyllAction () [PageSection]
readPageAction path = HakyllAction
    { actionDependencies = [path]
    , actionUrl          = Left $ toUrl path
    , actionFunction     = const $ readPage path
    }