{"header":{"message":"first commit","description":null,"timestamp":"2021-02-24T12:56:31.481301104Z","authors":[{"email":"lucas@escot.me","full_name":"Lucas Escot","name":"flupe"}]},"hash":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC","authors":[],"deps":{"hashes":[["QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC","first commit"],["AA",null]],"deps":[],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"src","metadata":1005},"context":[{"change":1,"pos":0}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Visual.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Visual (build, Image(..)) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:58"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:59"}},{"Add":{"text":"import Data.Time (UTCTime)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:86"}},{"Add":{"text":"import Data.List (isSuffixOf)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:116"}},{"Add":{"text":"import qualified Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:140"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:154"}},{"Add":{"text":"import Templates (outerWith, loading_)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:193"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:206"}},{"Add":{"text":"import Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:219"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:220"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:221"}},{"Add":{"text":"thumbWidth :: Int","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:239"}},{"Add":{"text":"thumbWidth = 710","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:256"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:257"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:258"}},{"Add":{"text":"data Image = Image","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:277"}},{"Add":{"text":" { imgPath :: FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:310"}},{"Add":{"text":" , imgThumbPath :: FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:343"}},{"Add":{"text":" , imgThumbWidth :: Int","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:371"}},{"Add":{"text":" , imgThumbHeight :: Int","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:399"}},{"Add":{"text":" , imgDate :: UTCTime","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:431"}},{"Add":{"text":" , imgNSFW :: Bool -- is the image nsfw?","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:486"}},{"Add":{"text":" } deriving (Generic, Eq, Binary)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:523"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:524"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:525"}},{"Add":{"text":"data EntryMeta = EntryMeta","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:552"}},{"Add":{"text":" { title :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:576"}},{"Add":{"text":" , date :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:600"}},{"Add":{"text":" , updated :: Maybe Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:630"}},{"Add":{"text":" } deriving (Generic, Eq, FromJSON)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:669"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:670"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:671"}},{"Add":{"text":"data Entry = Entry","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:690"}},{"Add":{"text":" { entryTitle :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:717"}},{"Add":{"text":" , entryContent :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:744"}},{"Add":{"text":" , entryItems :: [Image]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:774"}},{"Add":{"text":" , entryDate :: UTCTime","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:804"}},{"Add":{"text":" , entryType :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:831"}},{"Add":{"text":" } deriving (Generic, Eq, Binary)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:868"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:869"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:870"}},{"Add":{"text":"instance IsTimestamped Image where timestamp = imgDate","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:925"}},{"Add":{"text":"instance IsTimestamped Entry where timestamp = entryDate","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:982"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:983"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:984"}},{"Add":{"text":"build :: Task IO [Image]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1009"}},{"Add":{"text":"build = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1020"}},{"Add":{"text":" pictures <- match \"visual/*\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1064"}},{"Add":{"text":" path <- copyFile src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1094"}},{"Add":{"text":" tpath <- callCommandWith (\\a b -> \"convert -resize 710x \" <> a <> \" \" <> b)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1178"}},{"Add":{"text":" (-<.> \"thumb.webp\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1231"}},{"Add":{"text":" src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1268"}},{"Add":{"text":" apath <- toAbsolute src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1300"}},{"Add":{"text":" size <- read <$> readCommand \"identify\" [\"-ping\", \"-format\", \"(%w, %h)\", apath]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1389"}},{"Add":{"text":" let nsfw = \"nsfw\" `isSuffixOf` dropExtension src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1446"}},{"Add":{"text":" pure (Image path tpath thumbWidth (thumbHeight size) (timestamp src) nsfw)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1529"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1530"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1531"}},{"Add":{"text":" -- webcomics/albums","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1555"}},{"Add":{"text":" entries <- matchDir \"visual/*/\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1602"}},{"Add":{"text":" matchFile \"index.markdown\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1648"}},{"Add":{"text":" (meta, doc) <- readPandocMetadata src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1698"}},{"Add":{"text":" renderPandoc doc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1727"}},{"Add":{"text":" <&> renderEntry meta","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1764"}},{"Add":{"text":" >>= write (src -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1808"}},{"Add":{"text":" pure ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1824"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1825"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1826"}},{"Add":{"text":" watch pictures do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1848"}},{"Add":{"text":" let sorted = filter (not . imgNSFW) $ recentFirst pictures","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1915"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1916"}},{"Add":{"text":" match_ \"./visual.rst\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1957"}},{"Add":{"text":" intro <- compilePandoc src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:1996"}},{"Add":{"text":" write \"visual.html\" $ renderVisual intro sorted","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2056"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2057"}},{"Add":{"text":" return (take 4 sorted)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2088"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2098"}},{"Add":{"text":" thumbHeight :: (Int, Int) -> Int","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2139"}},{"Add":{"text":" thumbHeight (width, height) = round (fi height * fi thumbWidth / fi width)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2222"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2223"}},{"Add":{"text":" fi :: Int -> Float","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2250"}},{"Add":{"text":" fi = fromIntegral","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2276"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2277"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2278"}},{"Add":{"text":"renderEntry :: EntryMeta -> Text -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2322"}},{"Add":{"text":"renderEntry meta content =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2349"}},{"Add":{"text":" outerWith def { Config.title = title meta","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2395"}},{"Add":{"text":" , Config.route = VEntryRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2442"}},{"Add":{"text":" } do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2465"}},{"Add":{"text":" header_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2484"}},{"Add":{"text":" h1_ $ toHtml (title meta)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2522"}},{"Add":{"text":" p_ $ toHtml (date meta)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2558"}},{"Add":{"text":" toHtmlRaw content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2584"}},{"Add":{"text":" hr_ []","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2599"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2600"}},{"Add":{"text":"renderVisual :: Text -> [Image] -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2643"}},{"Add":{"text":"renderVisual txt imgs =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2667"}},{"Add":{"text":" outerWith def {Config.title = \"visual\"} do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2714"}},{"Add":{"text":" toHtmlRaw txt","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2736"}},{"Add":{"text":" hr_ []","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2751"}},{"Add":{"text":" section_ [class_ \"visual\"] $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2788"}},{"Add":{"text":" forM_ imgs \\Image{..} ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2825"}},{"Add":{"text":" figure_ $ a_ [href_ $ fromString imgPath] $ img_","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2890"}},{"Add":{"text":" [ src_ (fromString imgThumbPath)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:2943"}},{"Add":{"text":" , width_ (fromString $ show imgThumbWidth)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3006"}},{"Add":{"text":" , height_ (fromString $ show imgThumbHeight)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3071"}},{"Add":{"text":" , loading_ \"lazy\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3111"}}]}},{"FileAdd":{"meta":{"basename":"Types.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Types where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3143"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3144"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3158"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3159"}},{"Add":{"text":"data TitledPage = TitledPage","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3188"}},{"Add":{"text":" { title :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3214"}},{"Add":{"text":" , description :: Maybe Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3246"}},{"Add":{"text":" } deriving (Generic, Eq, FromJSON, Binary)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3293"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3294"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3295"}}]}},{"FileAdd":{"meta":{"basename":"Templates.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"{-# LANGUAGE DuplicateRecordFields #-}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3354"}},{"Add":{"text":"{-# LANGUAGE DisambiguateRecordFields #-}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3396"}},{"Add":{"text":"{-# LANGUAGE TypeSynonymInstances #-}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3438"}},{"Add":{"text":"{-# LANGUAGE FlexibleInstances #-}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3480"}},{"Add":{"text":"{-# LANGUAGE MultiParamTypeClasses #-}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3522"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3523"}},{"Add":{"text":"module Templates where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3546"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3547"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3548"}},{"Add":{"text":"import Data.Time (UTCTime)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3575"}},{"Add":{"text":"import Data.Time.Format (formatTime, defaultTimeLocale)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3631"}},{"Add":{"text":"import Data.Time.LocalTime (zonedTimeToUTC)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3675"}},{"Add":{"text":"import qualified Data.Map.Strict as Map","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3715"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3716"}},{"Add":{"text":"import Achille.Internal.IO (AchilleIO)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3755"}},{"Add":{"text":"import Achille.Writable as Writable","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3791"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3804"}},{"Add":{"text":"import Lucid.Base (makeAttribute)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3838"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3839"}},{"Add":{"text":"import Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3852"}},{"Add":{"text":"import Types","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3865"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3879"}},{"Add":{"text":"import Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3893"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3894"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3895"}},{"Add":{"text":"instance AchilleIO m => Writable m (Html a) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3945"}},{"Add":{"text":" write to = Writable.write to . renderBS","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3989"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:3990"}},{"Add":{"text":"showDate :: UTCTime -> String","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4020"}},{"Add":{"text":"showDate = formatTime defaultTimeLocale \"%b %d, %_Y\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4073"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4074"}},{"Add":{"text":"loading_ :: Text -> Attribute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4104"}},{"Add":{"text":"loading_ = makeAttribute \"loading\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4139"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4140"}},{"Add":{"text":"property_ :: Text -> Attribute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4171"}},{"Add":{"text":"property_ = makeAttribute \"property\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4208"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4209"}},{"Add":{"text":"toLink :: FilePath -> Html () -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4250"}},{"Add":{"text":"toLink url = a_ [ href_ (fromString $ \"/\" <> url) ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4302"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4303"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4304"}},{"Add":{"text":"logo :: Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4320"}},{"Add":{"text":"logo = toHtmlRaw (\"\" :: Text)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4688"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4689"}},{"Add":{"text":"outer :: Html () -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4717"}},{"Add":{"text":"outer = outerWith def","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4739"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4740"}},{"Add":{"text":"outerWith :: SiteConfig -> Html () -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4786"}},{"Add":{"text":"outerWith SiteConfig{title,route,..} content = doctypehtml_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4849"}},{"Add":{"text":" head_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4862"}},{"Add":{"text":" meta_ [ name_ \"viewport\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4895"}},{"Add":{"text":" , content_ \"width=device-width, initial-scale=1.0, user-scalable=yes\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4979"}},{"Add":{"text":" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:4995"}},{"Add":{"text":" meta_ [ name_ \"theme-color\", content_ \"#000000\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5054"}},{"Add":{"text":" meta_ [ name_ \"robots\", content_ \"index, follow\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5113"}},{"Add":{"text":" meta_ [ charset_ \"utf-8\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5148"}},{"Add":{"text":" link_ [ rel_ \"stylesheet\", href_ \"/assets/theme.css\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5212"}},{"Add":{"text":" link_ [ rel_ \"shortcut icon\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5250"}},{"Add":{"text":" , type_ \"image/svg\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5284"}},{"Add":{"text":" , href_ \"/assets/favicon.svg\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5328"}},{"Add":{"text":" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5344"}},{"Add":{"text":" link_ [ rel_ \"alternate\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5377"}},{"Add":{"text":" , type_ \"application/atom+xml\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5422"}},{"Add":{"text":" , href_ \"/atom.xml\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5456"}},{"Add":{"text":" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5472"}},{"Add":{"text":" meta_ [ property_ \"og:title\", content_ title ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5527"}},{"Add":{"text":" meta_ [ property_ \"og:type\", content_ \"website\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5585"}},{"Add":{"text":" meta_ [ property_ \"og:image\", content_ image ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5640"}},{"Add":{"text":" meta_ [ property_ \"og:description\", content_ description ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5707"}},{"Add":{"text":" title_ $ toHtml title","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5737"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5738"}},{"Add":{"text":" body_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5751"}},{"Add":{"text":" header_ [ id_ \"hd\" ] $ section_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5794"}},{"Add":{"text":" a_ [ href_ \"/\" ] $ logo","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5830"}},{"Add":{"text":" section_ $ nav_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5861"}},{"Add":{"text":" a_ [ href_ \"/projects.html\" ] \"Projects\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5918"}},{"Add":{"text":" a_ [ href_ \"/visual.html\" ] \"Visual\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:5973"}},{"Add":{"text":" a_ [ href_ \"/readings.html\" ] \"Readings\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6030"}},{"Add":{"text":" a_ [ href_ \"/quid.html\" ] \"Quid\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6083"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6084"}},{"Add":{"text":" breadcrumb route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6109"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6110"}},{"Add":{"text":" main_ content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6132"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6133"}},{"Add":{"text":" footer_ [ id_ \"ft\" ] do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6165"}},{"Add":{"text":" \"flupe 2020 · \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6194"}},{"Add":{"text":" a_ [ href_ \"https://creativecommons.org/licenses/by-nc/2.0/\" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6269"}},{"Add":{"text":" \"CC BY-NC 2.0\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6300"}},{"Add":{"text":" \" · \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6319"}},{"Add":{"text":" a_ [ href_ \"https://instagram.com/ba.bou.m/\", rel_ \"me\" ] \"instagram\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6401"}},{"Add":{"text":" \" · \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6420"}},{"Add":{"text":" a_ [ href_ \"/atom.xml\" ] \"feed\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6464"}}]}},{"FileAdd":{"meta":{"basename":"Route.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Route (Route(..), link, breadcrumb) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6526"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6527"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6541"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6554"}},{"Add":{"text":"import Data.List (foldl')","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6580"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6581"}},{"Add":{"text":"data Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6592"}},{"Add":{"text":" = IndexRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6609"}},{"Add":{"text":" | VisualRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6627"}},{"Add":{"text":" | PostRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6643"}},{"Add":{"text":" | ProjectsRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6663"}},{"Add":{"text":" | ProjectRoute Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6687"}},{"Add":{"text":" | ProjectPageRoute Text Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6721"}},{"Add":{"text":" | VEntryRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6739"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6740"}},{"Add":{"text":"link :: Route -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6765"}},{"Add":{"text":"link route = a_ [href_ (path route)] (toHtml $ name route)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6824"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6834"}},{"Add":{"text":" path IndexRoute = \"/\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6876"}},{"Add":{"text":" path ProjectsRoute = \"/projects.html\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6931"}},{"Add":{"text":" path VisualRoute = \"/visual.html\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:6984"}},{"Add":{"text":" path PostRoute = \"/\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7026"}},{"Add":{"text":" path (ProjectRoute _) = \"/projects/\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7077"}},{"Add":{"text":" path (ProjectPageRoute _ _) = \"/\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7119"}},{"Add":{"text":" path VEntryRoute = \"/\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7161"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7162"}},{"Add":{"text":" name IndexRoute = \"index\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7208"}},{"Add":{"text":" name ProjectsRoute = \"projects\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7257"}},{"Add":{"text":" name VisualRoute = \"visual\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7304"}},{"Add":{"text":" name PostRoute = \"post\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7349"}},{"Add":{"text":" name (ProjectRoute n) = n","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7389"}},{"Add":{"text":" name (ProjectPageRoute n r) = n","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7429"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7430"}},{"Add":{"text":"walk :: Route -> [Route]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7455"}},{"Add":{"text":"walk IndexRoute = []","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7488"}},{"Add":{"text":"walk VisualRoute = []","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7521"}},{"Add":{"text":"walk PostRoute = [IndexRoute]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7564"}},{"Add":{"text":"walk ProjectsRoute = []","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7597"}},{"Add":{"text":"walk (ProjectRoute _) = [ProjectsRoute]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7643"}},{"Add":{"text":"walk (ProjectPageRoute _ r) = walk r ++ [r]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7687"}},{"Add":{"text":"walk (VEntryRoute) = [VisualRoute]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7731"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7732"}},{"Add":{"text":"breadcrumb :: Route -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7763"}},{"Add":{"text":"breadcrumb route =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7782"}},{"Add":{"text":" case walk route of","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7805"}},{"Add":{"text":" [] -> mempty","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7826"}},{"Add":{"text":" xs -> p_ [class_ \"breadcrumb\"] $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7867"}},{"Add":{"text":" foldl' (\\b r -> b <> sep <> link r) \"∅\" xs","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7930"}},{"Add":{"text":" where sep = span_ [class_ \"sep\"] \"←\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:7973"}}]}},{"FileAdd":{"meta":{"basename":"Readings.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Readings (build) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8019"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8020"}},{"Add":{"text":"import qualified Data.Yaml as Yaml","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8055"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8068"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8082"}},{"Add":{"text":"import Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8096"}},{"Add":{"text":"import Templates","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8113"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8114"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8115"}},{"Add":{"text":"data Book = Book","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8132"}},{"Add":{"text":" { title :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8156"}},{"Add":{"text":" , author :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8180"}},{"Add":{"text":" , rating :: Maybe Int","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8209"}},{"Add":{"text":" } deriving (Generic, Show, FromJSON)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8250"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8251"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8252"}},{"Add":{"text":"build :: Task IO FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8278"}},{"Add":{"text":"build = matchFile \"readings.yaml\" \\p ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8318"}},{"Add":{"text":" readBS p","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8331"}},{"Add":{"text":" >>= (liftIO . Yaml.decodeThrow)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8371"}},{"Add":{"text":" <&> renderReadings","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8398"}},{"Add":{"text":" >>= write (p -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8432"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8433"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8434"}},{"Add":{"text":"renderReadings :: [Book] -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8470"}},{"Add":{"text":"renderReadings books =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8493"}},{"Add":{"text":" outerWith def { Config.title = \"readings\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8545"}},{"Add":{"text":" , Config.description = \"books I've read\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8604"}},{"Add":{"text":" } do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8627"}},{"Add":{"text":" table_ [ class_ \"books\" ] $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8663"}},{"Add":{"text":" forM_ books \\Book {title, author, rating} ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8720"}},{"Add":{"text":" tr_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8743"}},{"Add":{"text":" td_ (toHtml title)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8782"}},{"Add":{"text":" td_ (toHtml author)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8822"}},{"Add":{"text":" td_ (toHtml $ fromMaybe \".\" $ flip replicate '★' <$> rating)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8905"}}]}},{"FileAdd":{"meta":{"basename":"Projects.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Projects (build) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8951"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8952"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8965"}},{"Add":{"text":"import Data.Char (digitToInt)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:8995"}},{"Add":{"text":"import qualified Data.Map.Strict as Map","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9035"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9036"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9050"}},{"Add":{"text":"import Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9063"}},{"Add":{"text":"import Types","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9076"}},{"Add":{"text":"import Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9090"}},{"Add":{"text":"import Templates","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9107"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9108"}},{"Add":{"text":"data Project = Project ","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9132"}},{"Add":{"text":" { title :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9155"}},{"Add":{"text":" , subtitle :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9178"}},{"Add":{"text":" , year :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9201"}},{"Add":{"text":" , labels :: Map.Map Text Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9237"}},{"Add":{"text":" } deriving (Generic, Eq, FromJSON, Binary)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9284"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9285"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9286"}},{"Add":{"text":"build :: Task IO ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9306"}},{"Add":{"text":"build = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9317"}},{"Add":{"text":" projects <- matchDir \"projects/*/\" buildProject","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9369"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9370"}},{"Add":{"text":" watch projects $ match_ \"./projects.rst\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9426"}},{"Add":{"text":" intro <- compilePandocWith def wopts src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9475"}},{"Add":{"text":" write \"projects.html\" (renderIndex intro projects)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9534"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9535"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9536"}},{"Add":{"text":"buildProject :: FilePath -> Task IO (Project, FilePath)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9592"}},{"Add":{"text":"buildProject src = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9614"}},{"Add":{"text":" match \"*\" copyFile","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9637"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9638"}},{"Add":{"text":" name <- takeBaseName <$> getCurrentDir","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9685"}},{"Add":{"text":" children <- buildChildren name","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9720"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9721"}},{"Add":{"text":" watch children $ matchFile \"index.*\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9773"}},{"Add":{"text":" (meta, doc) <- readPandocMetadataWith ropts src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9829"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9830"}},{"Add":{"text":" renderPandocWith wopts doc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9865"}},{"Add":{"text":" <&> renderProject meta children","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9909"}},{"Add":{"text":" >>= write (src -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9949"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9950"}},{"Add":{"text":" (meta,) <$> getCurrentDir","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9984"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:9994"}},{"Add":{"text":" buildChildren :: String -> Task IO [(Text, FilePath)]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10056"}},{"Add":{"text":" buildChildren name = match \"pages/*\" \\filepath -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10117"}},{"Add":{"text":" let (key, file) = getKey $ takeFileName filepath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10178"}},{"Add":{"text":" (TitledPage title _, doc) <- readPandocMetadataWith ropts filepath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10257"}},{"Add":{"text":" renderPandocWith wopts doc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10296"}},{"Add":{"text":" <&> toHtmlRaw","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10326"}},{"Add":{"text":" <&> outerWith (def { Config.title = title","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10384"}},{"Add":{"text":" , Config.route = ProjectPageRoute title (ProjectRoute $ fromString name)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10492"}},{"Add":{"text":" })","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10530"}},{"Add":{"text":" >>= write (filepath -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10579"}},{"Add":{"text":" <&> (title,)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10608"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10609"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10610"}},{"Add":{"text":"renderProject :: Project -> [(Text, FilePath)] -> Text -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10676"}},{"Add":{"text":"renderProject Project{..} children content =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10721"}},{"Add":{"text":" outerWith def { Config.title = title","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10768"}},{"Add":{"text":" , Config.description = subtitle","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10818"}},{"Add":{"text":" , Config.route = ProjectRoute title","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10878"}},{"Add":{"text":" } do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10901"}},{"Add":{"text":" header_ [class_ \"project\"] do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10939"}},{"Add":{"text":" div_ (img_ [src_ \"logo.svg\"])","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:10981"}},{"Add":{"text":" div_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11001"}},{"Add":{"text":" h1_ (toHtml title)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11036"}},{"Add":{"text":" p_ (toHtml subtitle)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11074"}},{"Add":{"text":" ul_ $ forM_ (Map.toList labels) \\(k, v) -> li_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11140"}},{"Add":{"text":" toHtml k <> \": \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11177"}},{"Add":{"text":" if k == \"repo\" then","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11217"}},{"Add":{"text":" a_ [href_ $ \"https://github.com/\" <> v]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11281"}},{"Add":{"text":" $ toHtml v","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11320"}},{"Add":{"text":" else toHtml v","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11354"}},{"Add":{"text":" when (length children > 0) $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11391"}},{"Add":{"text":" ol_ [class_ \"pages\"] $ forM_ children \\(title, path) ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11459"}},{"Add":{"text":" li_ $ a_ [href_ (fromString path)] (toHtml title)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11525"}},{"Add":{"text":" toHtmlRaw content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11551"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11552"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11553"}},{"Add":{"text":"renderIndex :: Text -> [(Project, FilePath)] -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11609"}},{"Add":{"text":"renderIndex intro projects =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11638"}},{"Add":{"text":" outerWith def { Config.title = \"projects\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11684"}},{"Add":{"text":" , Config.description = intro","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11731"}},{"Add":{"text":" } do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11754"}},{"Add":{"text":" toHtmlRaw intro","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11778"}},{"Add":{"text":" ul_ [class_ \"projects\"] $ forM_ projects projectLink","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11839"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11849"}},{"Add":{"text":" projectLink :: (Project, FilePath) -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11903"}},{"Add":{"text":" projectLink (Project{..}, path) =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11945"}},{"Add":{"text":" li_ $ a_ [href_ (fromString path)] do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:11995"}},{"Add":{"text":" div_ $ img_ [src_ (fromString $ path \"logo.svg\")]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12065"}},{"Add":{"text":" div_ $ h2_ (toHtml title) >> p_ (toHtml subtitle)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12132"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12133"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12134"}},{"Add":{"text":"getKey :: String -> (Int, String)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12168"}},{"Add":{"text":"getKey xs = getKey' 0 xs","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12193"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12203"}},{"Add":{"text":" getKey' :: Int -> String -> (Int, String)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12253"}},{"Add":{"text":" getKey' k (x : xs) | x >= '0' && x <= '9' =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12305"}},{"Add":{"text":" getKey' (k * 10 + digitToInt x) xs","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12353"}},{"Add":{"text":" getKey' k ('-' : xs) = (k, xs)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12392"}},{"Add":{"text":" getKey' k xs = (k, xs)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12431"}}]}},{"FileAdd":{"meta":{"basename":"Posts.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Posts where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12463"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12464"}},{"Add":{"text":"import Data.Aeson.Types (FromJSON)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12499"}},{"Add":{"text":"import Data.Binary (Binary, put, get)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12542"}},{"Add":{"text":"import Data.Time (UTCTime, defaultTimeLocale)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12595"}},{"Add":{"text":"import Data.Time.Clock (getCurrentTime)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12636"}},{"Add":{"text":"import Data.Time.Format (rfc822DateFormat, formatTime)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12691"}},{"Add":{"text":"import Data.List (isPrefixOf)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12728"}},{"Add":{"text":"import GHC.Generics","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12748"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12761"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12762"}},{"Add":{"text":"import Text.Atom.Feed as Atom","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12794"}},{"Add":{"text":"import Text.Feed.Types (Feed(..))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12829"}},{"Add":{"text":"import Text.Feed.Export (textFeed)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12864"}},{"Add":{"text":"import qualified Achille.Internal.IO as AchilleIO","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12914"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12915"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12929"}},{"Add":{"text":"import Config (ropts, wopts)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12958"}},{"Add":{"text":"import Visual (Image(..))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:12984"}},{"Add":{"text":"import qualified Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13008"}},{"Add":{"text":"import Templates","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13025"}},{"Add":{"text":"import Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13038"}},{"Add":{"text":"import System.FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13061"}},{"Add":{"text":"import System.Directory ( setCurrentDirectory","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13107"}},{"Add":{"text":" , getTemporaryDirectory","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13155"}},{"Add":{"text":" , renameDirectory","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13197"}},{"Add":{"text":" , createDirectoryIfMissing","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13248"}},{"Add":{"text":" )","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13274"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13275"}},{"Add":{"text":"-- metadata used for parsing YAML headers","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13318"}},{"Add":{"text":"data PostMeta = PostMeta","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13343"}},{"Add":{"text":" { title :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13369"}},{"Add":{"text":" , draft :: Maybe Bool","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13401"}},{"Add":{"text":" , description :: Maybe Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13433"}},{"Add":{"text":" } deriving (Generic, Eq, Show, FromJSON)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13478"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13479"}},{"Add":{"text":"data Post = Post","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13496"}},{"Add":{"text":" { postTitle :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13526"}},{"Add":{"text":" , postDate :: UTCTime","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13559"}},{"Add":{"text":" , postDraft :: Bool","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13589"}},{"Add":{"text":" , postDescription :: Maybe Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13625"}},{"Add":{"text":" , postContent :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13655"}},{"Add":{"text":" , postPath :: FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13689"}},{"Add":{"text":" } deriving (Generic, Eq, Show, Binary)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13732"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13733"}},{"Add":{"text":"instance IsTimestamped Post where timestamp = postDate","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13788"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13789"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13790"}},{"Add":{"text":"buildPost :: FilePath -> Task IO Post","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13828"}},{"Add":{"text":"buildPost src = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13847"}},{"Add":{"text":" copyFile src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13864"}},{"Add":{"text":" let ext = takeExtensions src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13897"}},{"Add":{"text":" if \".lagda.md\" `isPrefixOf` ext then processAgda src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13954"}},{"Add":{"text":" else do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:13966"}},{"Add":{"text":" (PostMeta title draft desc, pandoc) <- readPandocMetadataWith ropts src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14046"}},{"Add":{"text":" content <- renderPandocWith wopts pandoc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14095"}},{"Add":{"text":" let date = timestamp src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14128"}},{"Add":{"text":" pure (renderPost date title content)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14173"}},{"Add":{"text":" >>= write (src -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14213"}},{"Add":{"text":" <&> Post title date (fromMaybe False draft) Nothing content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14285"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14286"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14296"}},{"Add":{"text":" processAgda :: FilePath -> Task IO Post","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14344"}},{"Add":{"text":" processAgda src = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14373"}},{"Add":{"text":" spath <- toAbsolute src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14410"}},{"Add":{"text":" odir <- getOutputDir <&> ( dropExtensions src)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14474"}},{"Add":{"text":" tmpdir <- liftIO getTemporaryDirectory <&> ( \"achille\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14545"}},{"Add":{"text":" liftIO $ createDirectoryIfMissing False tmpdir","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14604"}},{"Add":{"text":" liftIO $ createDirectoryIfMissing False odir","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14661"}},{"Add":{"text":" liftIO $ AchilleIO.copyFile spath (tmpdir \"index.lagda.md\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14737"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14738"}},{"Add":{"text":" -- agda --html needs to be invoked in the correct directory","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14810"}},{"Add":{"text":" liftIO $ setCurrentDirectory tmpdir","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14858"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14859"}},{"Add":{"text":" callCommand $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14885"}},{"Add":{"text":" \"agda --html \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14916"}},{"Add":{"text":" <> \"--html-dir=. \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14951"}},{"Add":{"text":" <> \"--html-highlight=auto \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:14995"}},{"Add":{"text":" <> \"index.lagda.md\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15031"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15032"}},{"Add":{"text":" callCommand $ \"cp \" <> tmpdir <> \"/* \" <> odir","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15091"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15092"}},{"Add":{"text":" let tpath = odir \"index.md\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15136"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15137"}},{"Add":{"text":" (PostMeta title draft desc, pandoc) <- readAbsPandocMetadataWith ropts tpath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15226"}},{"Add":{"text":" content <- renderPandocWith wopts pandoc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15279"}},{"Add":{"text":" let date = timestamp src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15316"}},{"Add":{"text":" pure (renderPost date title content)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15365"}},{"Add":{"text":" >>= write (dropExtensions src \"index.html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15429"}},{"Add":{"text":" <&> takeDirectory","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15463"}},{"Add":{"text":" <&> Post title date (fromMaybe False draft) Nothing content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15539"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15540"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15541"}},{"Add":{"text":"build :: Bool -> [Image] -> Task IO ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15580"}},{"Add":{"text":"build showDrafts imgs = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15607"}},{"Add":{"text":" posts <- match \"posts/*\" buildPost","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15646"}},{"Add":{"text":" <&> filter (\\p -> not (postDraft p) || showDrafts)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15710"}},{"Add":{"text":" <&> recentFirst","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15739"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15740"}},{"Add":{"text":" watch imgs $ watch posts $ match_ \"index.rst\" \\src -> do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15801"}},{"Add":{"text":" compilePandoc src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15827"}},{"Add":{"text":" <&> renderIndex imgs posts","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15866"}},{"Add":{"text":" >>= write (src -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15906"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15907"}},{"Add":{"text":" now <- liftIO getCurrentTime","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:15944"}},{"Add":{"text":" let (Just feed) = textFeed (AtomFeed $ postsToFeed now posts)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16014"}},{"Add":{"text":" write \"atom.xml\" feed","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16044"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16045"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16055"}},{"Add":{"text":" postsToFeed now posts =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16087"}},{"Add":{"text":" ( Atom.nullFeed","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16115"}},{"Add":{"text":" \"https://acatalepsie.fr/atom.xml\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16165"}},{"Add":{"text":" (Atom.TextString \"acatalepsie\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16213"}},{"Add":{"text":" \"2017-08-01\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16243"}},{"Add":{"text":" { Atom.feedEntries = postToEntry <$> posts","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16298"}},{"Add":{"text":" , Atom.feedUpdated = fromString $ toDate now","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16355"}},{"Add":{"text":" }","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16369"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16370"}},{"Add":{"text":" postToEntry :: Post -> Atom.Entry","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16412"}},{"Add":{"text":" postToEntry post =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16439"}},{"Add":{"text":" ( Atom.nullEntry (fromString $ postPath post)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16497"}},{"Add":{"text":" (Atom.TextString $ postTitle post)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16561"}},{"Add":{"text":" (fromString $ toDate $ postDate post))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16629"}},{"Add":{"text":" { Atom.entryContent = Just $ Atom.HTMLContent $ postContent post","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16706"}},{"Add":{"text":" , Atom.entrySummary = Atom.HTMLString <$> postDescription post","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16781"}},{"Add":{"text":" }","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16795"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16796"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16797"}},{"Add":{"text":"renderPost :: UTCTime -> Text -> Text -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16846"}},{"Add":{"text":"renderPost date title content =","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16878"}},{"Add":{"text":" outerWith def { Config.title = title, Config.route = PostRoute } do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16950"}},{"Add":{"text":" header_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:16969"}},{"Add":{"text":" h1_ $ toHtml title","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17000"}},{"Add":{"text":" p_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17018"}},{"Add":{"text":" \"Posted on \"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17047"}},{"Add":{"text":" time_ $ toHtml (showDate date)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17094"}},{"Add":{"text":" \".\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17114"}},{"Add":{"text":" toHtmlRaw content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17140"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17141"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17142"}},{"Add":{"text":"renderIndex :: [Image] -> [Post] -> Text -> Html ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17194"}},{"Add":{"text":"renderIndex imgs posts content = ","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17228"}},{"Add":{"text":" outer do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17241"}},{"Add":{"text":" toHtmlRaw content","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17267"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17268"}},{"Add":{"text":" section_ [class_ \"visual tiny\"] $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17310"}},{"Add":{"text":" forM_ imgs \\Image{..} ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17347"}},{"Add":{"text":" figure_ $ a_ [href_ $ fromString imgPath] $ img_","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17412"}},{"Add":{"text":" [ src_ (fromString imgThumbPath)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17465"}},{"Add":{"text":" , width_ (fromString $ show imgThumbWidth)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17528"}},{"Add":{"text":" , height_ (fromString $ show imgThumbHeight)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17593"}},{"Add":{"text":" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17615"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17616"}},{"Add":{"text":" p_ [class_ \"right\"] $ a_ [href_ \"/visual.html\"] \"→ View more visual work\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17700"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17701"}},{"Add":{"text":" h2_ \"Latest posts\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17728"}},{"Add":{"text":" ul_ [ id_ \"pidx\" ] $ forM_ posts \\post ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17778"}},{"Add":{"text":" li_ do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17797"}},{"Add":{"text":" span_ $ fromString $ showDate (postDate post)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17859"}},{"Add":{"text":" toLink (postPath post) (toHtml $ postTitle post)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17924"}}]}},{"FileAdd":{"meta":{"basename":"Main.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"{-# LANGUAGE LambdaCase #-}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17964"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17965"}},{"Add":{"text":"module Main where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17983"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:17984"}},{"Add":{"text":"import qualified System.Process as Process","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18027"}},{"Add":{"text":"import System.Directory (removePathForcibly)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18079"}},{"Add":{"text":"import Control.Monad (void, mapM_)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18124"}},{"Add":{"text":"import Options.Applicative","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18151"}},{"Add":{"text":"import Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18164"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18165"}},{"Add":{"text":"import Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18179"}},{"Add":{"text":"import Templates","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18196"}},{"Add":{"text":"import Config (config, ropts, wopts, SiteConfig(title))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18252"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18253"}},{"Add":{"text":"import qualified Posts","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18276"}},{"Add":{"text":"import qualified Projects","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18302"}},{"Add":{"text":"import qualified Visual","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18326"}},{"Add":{"text":"import qualified Readings","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18352"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18353"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18354"}},{"Add":{"text":"type ShowDrafts = Bool","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18377"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18378"}},{"Add":{"text":"data Cmd","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18387"}},{"Add":{"text":" = Build ShowDrafts -- ^ Build the site","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18430"}},{"Add":{"text":" | Deploy -- ^ Deploy to the server","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18479"}},{"Add":{"text":" | Clean -- ^ Delete all artefacts","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18528"}},{"Add":{"text":" deriving (Eq, Show)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18552"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18553"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18554"}},{"Add":{"text":"cli :: Parser Cmd","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18572"}},{"Add":{"text":"cli = hsubparser $","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18591"}},{"Add":{"text":" command \"build\" (info (Build <$> switch (long \"draft\" <> short 'D' <> help \"Display drafts\"))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18692"}},{"Add":{"text":" (progDesc \"Build the site once\" ))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18756"}},{"Add":{"text":" <> command \"deploy\" (info (pure Deploy) (progDesc \"Server go brrr\" ))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18834"}},{"Add":{"text":" <> command \"clean\" (info (pure Clean) (progDesc \"Delete all artefacts\"))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18912"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18913"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18914"}},{"Add":{"text":"main :: IO ()","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18928"}},{"Add":{"text":"main = customExecParser p opts >>= \\case","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:18969"}},{"Add":{"text":" Deploy -> mapM_ Process.callCommand (deployCmd config)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19028"}},{"Add":{"text":" Clean -> removePathForcibly (outputDir config)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19087"}},{"Add":{"text":" >> removePathForcibly (cacheFile config)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19146"}},{"Add":{"text":" Build showDrafts -> void $ runTask [] config (build showDrafts)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19214"}},{"Add":{"text":" where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19224"}},{"Add":{"text":" opts = info (cli <**> helper) $ fullDesc <> header desc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19288"}},{"Add":{"text":" p = prefs showHelpOnEmpty","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19325"}},{"Add":{"text":" desc = \"acatalepsie & co\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19359"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19360"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19361"}},{"Add":{"text":"build :: ShowDrafts -> Task IO String","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19399"}},{"Add":{"text":"build showDrafts = do","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19421"}},{"Add":{"text":" -- static assets","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19442"}},{"Add":{"text":" match_ \"assets/*\" copyFile","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19473"}},{"Add":{"text":" match_ \"static/*\" copyFile","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19504"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19505"}},{"Add":{"text":" -- quid page","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19522"}},{"Add":{"text":" match_ \"./quid.rst\" \\src ->","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19554"}},{"Add":{"text":" compilePandoc src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19580"}},{"Add":{"text":" <&> toHtmlRaw","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19602"}},{"Add":{"text":" <&> outerWith def {Config.title = \"quid\"}","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19652"}},{"Add":{"text":" >>= write (src -<.> \"html\")","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19688"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19689"}},{"Add":{"text":" lastImages <- Visual.build","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19720"}},{"Add":{"text":" Projects.build","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19739"}},{"Add":{"text":" Posts.build showDrafts lastImages","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19777"}},{"Add":{"text":" Readings.build","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19796"}}]}},{"FileAdd":{"meta":{"basename":"Config.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Config (config, ropts, wopts, SiteConfig(..), def) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19874"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19875"}},{"Add":{"text":"import Data.Default","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19895"}},{"Add":{"text":"import Data.Text (Text)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19919"}},{"Add":{"text":"import Text.Pandoc.Options as Pandoc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19956"}},{"Add":{"text":"import Achille (Config(..))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19984"}},{"Add":{"text":"import Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19997"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19998"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:19999"}},{"Add":{"text":"config :: Achille.Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20024"}},{"Add":{"text":"config = def","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20037"}},{"Add":{"text":" { deployCmd = Just \"rsync -avzzr ~/dev/acatalepsie/_site/ --chmod=755 acatalepsie:/var/www/html\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20139"}},{"Add":{"text":" , contentDir = root <> \"content\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20176"}},{"Add":{"text":" , outputDir = root <> \"_site\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20211"}},{"Add":{"text":" , cacheFile = root <> \".cache\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20247"}},{"Add":{"text":" , ignore = [ \"**/*.agdai\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20281"}},{"Add":{"text":" , \"**/*~\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20310"}},{"Add":{"text":" ]","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20331"}},{"Add":{"text":" } where root = \"/home/flupe/dev/acatalepsie/\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20381"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20382"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20383"}},{"Add":{"text":"ropts :: Pandoc.ReaderOptions","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20413"}},{"Add":{"text":"ropts = def { readerExtensions = pandocExtensions }","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20465"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20466"}},{"Add":{"text":"wopts :: Pandoc.WriterOptions","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20496"}},{"Add":{"text":"wopts = def { writerHTMLMathMethod = KaTeX \"\" }","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20544"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20545"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20546"}},{"Add":{"text":"data SiteConfig = SiteConfig","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20575"}},{"Add":{"text":" { title :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20601"}},{"Add":{"text":" , description :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20627"}},{"Add":{"text":" , image :: Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20653"}},{"Add":{"text":" , route :: Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20680"}},{"Add":{"text":" }","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20686"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20687"}},{"Add":{"text":"instance Default SiteConfig where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20721"}},{"Add":{"text":" def = SiteConfig","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20742"}},{"Add":{"text":" { title = \"sbbls\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20774"}},{"Add":{"text":" , description = \"my personal web space, for your enjoyment\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20842"}},{"Add":{"text":" , image = \"https://acatalepsie.fr/assets/card.png\"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20907"}},{"Add":{"text":" , route = IndexRoute","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20942"}},{"Add":{"text":" }","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20952"}}]}},{"FileAdd":{"meta":{"basename":"Common.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":{"text":"module Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:20980"}},{"Add":{"text":" ( module Data.Functor","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21006"}},{"Add":{"text":" , module Data.Sort","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21029"}},{"Add":{"text":" , module Data.String","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21054"}},{"Add":{"text":" , module System.FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21083"}},{"Add":{"text":" , module Achille","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21104"}},{"Add":{"text":" , module Achille.Task.Pandoc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21137"}},{"Add":{"text":" , module Data.Text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21160"}},{"Add":{"text":" , module Control.Monad","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21187"}},{"Add":{"text":" , module Data.Maybe","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21211"}},{"Add":{"text":" , module Lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21230"}},{"Add":{"text":" , module Data.Binary","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21255"}},{"Add":{"text":" , module GHC.Generics","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21281"}},{"Add":{"text":" , module Data.Aeson.Types","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21311"}},{"Add":{"text":" , toDate","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21324"}},{"Add":{"text":" ) where","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21336"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21337"}},{"Add":{"text":"import Achille","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21352"}},{"Add":{"text":"import Achille.Task.Pandoc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21379"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21380"}},{"Add":{"text":"import Data.Time (UTCTime, defaultTimeLocale, formatTime, rfc822DateFormat)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21463"}},{"Add":{"text":"import Data.Aeson.Types (FromJSON)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21498"}},{"Add":{"text":"import GHC.Generics (Generic)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21532"}},{"Add":{"text":"import Data.Binary (Binary)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21565"}},{"Add":{"text":"import Data.Functor ((<&>))","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21597"}},{"Add":{"text":"import Control.Monad (forM_, when)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21635"}},{"Add":{"text":"import Data.Sort (sort)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21666"}},{"Add":{"text":"import Data.String (fromString)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21703"}},{"Add":{"text":"import Data.Text (Text)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21734"}},{"Add":{"text":"import Data.Maybe (fromMaybe, mapMaybe)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21780"}},{"Add":{"text":"import System.FilePath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21803"}},{"Add":{"text":"import Lucid (Html)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21834"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21835"}},{"Add":{"text":"toDate :: UTCTime -> String","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21863"}},{"Add":{"text":"toDate = formatTime defaultTimeLocale rfc822DateFormat","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21918"}}]}},{"FileAdd":{"meta":{"basename":"site.cabal","metadata":420},"context":[{"change":1,"pos":0}],"contents":[{"Add":{"text":"cabal-version: >=1.10","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21961"}},{"Add":{"text":"name: site","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:21987"}},{"Add":{"text":"version: 0.1.0.0","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22016"}},{"Add":{"text":"author: flupe","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22043"}},{"Add":{"text":"maintainer: lucas@escot.me","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22079"}},{"Add":{"text":"build-type: Simple","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22107"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22108"}},{"Add":{"text":"executable site","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22124"}},{"Add":{"text":" main-is: Main.hs","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22155"}},{"Add":{"text":" hs-source-dirs: src","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22182"}},{"Add":{"text":" other-modules: Templates","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22215"}},{"Add":{"text":" , Types","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22244"}},{"Add":{"text":" , Posts","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22273"}},{"Add":{"text":" , Projects","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22305"}},{"Add":{"text":" , Common","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22335"}},{"Add":{"text":" , Config","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22365"}},{"Add":{"text":" , Visual","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22395"}},{"Add":{"text":" , Templates","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22428"}},{"Add":{"text":" , Readings","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22460"}},{"Add":{"text":" , Route","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22489"}},{"Add":{"text":" build-depends: base >= 4.12 && < 5","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22532"}},{"Add":{"text":" , filepath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22564"}},{"Add":{"text":" , achille","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22595"}},{"Add":{"text":" , data-default","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22631"}},{"Add":{"text":" , pandoc","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22661"}},{"Add":{"text":" , pandoc-types","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22697"}},{"Add":{"text":" , text","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22725"}},{"Add":{"text":" , bytestring","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22759"}},{"Add":{"text":" , filepath","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22791"}},{"Add":{"text":" , aeson","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22820"}},{"Add":{"text":" , yaml","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22848"}},{"Add":{"text":" , binary","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22878"}},{"Add":{"text":" , containers","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22912"}},{"Add":{"text":" , sort","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22940"}},{"Add":{"text":" , feed","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22968"}},{"Add":{"text":" , time","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:22996"}},{"Add":{"text":" , lucid","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23025"}},{"Add":{"text":" , optparse-applicative","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23069"}},{"Add":{"text":" , process","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23100"}},{"Add":{"text":" , directory","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23133"}},{"Add":{"text":" default-extensions: BlockArguments","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23172"}},{"Add":{"text":" , TupleSections","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23210"}},{"Add":{"text":" , OverloadedStrings","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23252"}},{"Add":{"text":" , ScopedTypeVariables","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23296"}},{"Add":{"text":" , DeriveGeneric","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23334"}},{"Add":{"text":" , DeriveAnyClass","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23373"}},{"Add":{"text":" , RecordWildCards","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23413"}},{"Add":{"text":" , NamedFieldPuns","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23452"}},{"Add":{"text":" ghc-options: -threaded","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23483"}},{"Add":{"text":" -j8","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23508"}},{"Add":{"text":" default-language: Haskell2010","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23543"}}]}},{"FileAdd":{"meta":{"basename":"content","metadata":1005},"context":[{"change":1,"pos":0}],"contents":[]}},{"FileAdd":{"meta":{"basename":"visual","metadata":1005},"context":[{"change":0,"pos":23555}],"contents":[]}},{"FileAdd":{"meta":{"basename":"quid.rst","metadata":420},"context":[{"change":0,"pos":23555}],"contents":[{"Add":{"text":"This site is under construction, please be kind.","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23626"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23627"}},{"Add":{"text":"-----","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23633"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23634"}},{"Add":{"text":"All content on this website is licensed under `CC BY-NC 2.0`_ unless stated","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23710"}},{"Add":{"text":"otherwise. In other words, you are free to copy, redistribute and edit this","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23786"}},{"Add":{"text":"content, provided you: give appropriate credit; indicate where changes were made","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23867"}},{"Add":{"text":"and do not do so for commercial purposes.","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23909"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23910"}},{"Add":{"text":"This website is hosted on a 2014 RPi Model B+ somewhere in France.","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:23977"}},{"Add":{"text":"The domain name `acatalepsie.fr `_ has","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24040"}},{"Add":{"text":"been registered at `gandi.net `_.","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24093"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24094"}},{"Add":{"text":".. _CC BY-NC 2.0: https://creativecommons.org/licenses/by-nc/2.0/","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24160"}}]}},{"FileAdd":{"meta":{"basename":"index.rst","metadata":420},"context":[{"change":0,"pos":23555}],"contents":[]}},{"FileAdd":{"meta":{"basename":"cabal.project","metadata":420},"context":[{"change":1,"pos":0}],"contents":[{"Add":{"text":"packages: ../achille/achille.cabal site.cabal","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24237"}},{"Add":{"text":"jobs: 8","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24245"}}]}},{"FileAdd":{"meta":{"basename":"README.md","metadata":420},"context":[{"change":1,"pos":0}],"contents":[{"Add":{"text":"my personal website, made with [achille](https://acatalepsie.fr/projects/achille).","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24342"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24343"}},{"Add":{"text":"```","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24347"}},{"Add":{"text":"nix-shell --attr env release.nix","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24380"}},{"Add":{"text":"nix-env -if release.nix","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24404"}},{"Add":{"text":"```","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24408"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24409"}},{"Add":{"text":"## todo","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24417"}},{"Add":{"text":"","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24418"}},{"Add":{"text":"- dark theme","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24431"}},{"Add":{"text":"- faster thumbnail generation with openCV","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24473"}},{"Add":{"text":"- generic feed generation","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24499"}},{"Add":{"text":"- indieweb interactions (webmentions, etc)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24542"}},{"Add":{"text":"- bin packing / grid system for galery","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24581"}},{"Add":{"text":"- better gallery (albums, webzines, media types, layouts, etc)","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24644"}},{"Add":{"text":"- tag/category/search engine","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24673"}},{"Add":{"text":"- parallelization","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24691"}},{"Add":{"text":"- draft builds + live server","pos":"QXUUTPJOCPVNEEUOVRPBXDYBZ2W4RZM5NKK6C5PU6ZCYTYTSY5KQC:24720"}}]}}],"owner":"flupe","repo":"site","token":"2pfhoqFwe7YfglUXH3Kc/e/0B30SAfpGyjqVjjIJs60=","login":null}

…

Dependencies

Change contents

Review