module Network.Gitit (
wiki
, reloadTemplates
, runHandler
, module Network.Gitit.Initialize
, module Network.Gitit.Config
, loginUserForm
, module Network.Gitit.Types
, module Network.Gitit.Framework
, module Network.Gitit.Layout
, module Network.Gitit.ContentTransformer
, module Network.Gitit.Page
, getFileStore
, getUser
, getConfig
, queryGititState
, updateGititState
)
where
import Network.Gitit.Types
import Network.Gitit.Server
import Network.Gitit.Framework
import Network.Gitit.Handlers
import Network.Gitit.Initialize
import Network.Gitit.Config
import Network.Gitit.Layout
import Network.Gitit.State
(getFileStore, getUser, getConfig, queryGititState, updateGititState)
import Network.Gitit.ContentTransformer
import Network.Gitit.Page
import Network.Gitit.Authentication (loginUserForm)
import Paths_gitit (getDataFileName)
import Control.Monad.Reader
import Prelude hiding (readFile)
import qualified Data.ByteString.Char8 as B
import System.FilePath ((</>))
import System.Directory (getTemporaryDirectory)
import Safe
wiki :: Config -> ServerPart Response
wiki :: Config -> ServerPart Response
wiki Config
conf = do
FilePath
tempDir <- IO FilePath -> ServerPartT IO FilePath
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO IO FilePath
getTemporaryDirectory
let maxSize :: Int64
maxSize = Integer -> Int64
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Integer -> Int64) -> Integer -> Int64
forall a b. (a -> b) -> a -> b
$ Config -> Integer
maxUploadSize Config
conf
BodyPolicy -> ServerPartT IO ()
forall (m :: * -> *).
(ServerMonad m, MonadPlus m, MonadIO m, FilterMonad Response m,
WebMonad Response m) =>
BodyPolicy -> m ()
decodeBody (BodyPolicy -> ServerPartT IO ())
-> BodyPolicy -> ServerPartT IO ()
forall a b. (a -> b) -> a -> b
$ FilePath -> Int64 -> Int64 -> Int64 -> BodyPolicy
defaultBodyPolicy FilePath
tempDir Int64
maxSize Int64
maxSize Int64
maxSize
let static :: FilePath
static = Config -> FilePath
staticDir Config
conf
FilePath
defaultStatic <- IO FilePath -> ServerPartT IO FilePath
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO FilePath -> ServerPartT IO FilePath)
-> IO FilePath -> ServerPartT IO FilePath
forall a b. (a -> b) -> a -> b
$ FilePath -> IO FilePath
getDataFileName (FilePath -> IO FilePath) -> FilePath -> IO FilePath
forall a b. (a -> b) -> a -> b
$ FilePath
"data" FilePath -> FilePath -> FilePath
</> FilePath
"static"
let staticHandler :: ServerPart Response
staticHandler = ServerPart Response -> ServerPart Response
forall (m :: * -> *). ServerMonad m => m Response -> m Response
withExpiresHeaders (ServerPart Response -> ServerPart Response)
-> ServerPart Response -> ServerPart Response
forall a b. (a -> b) -> a -> b
$
FilePath -> ServerPart Response
serveDirectory' FilePath
static ServerPart Response -> ServerPart Response -> ServerPart Response
forall (m :: * -> *) a. MonadPlus m => m a -> m a -> m a
`mplus` FilePath -> ServerPart Response
serveDirectory' FilePath
defaultStatic
let debugHandler' :: ServerPartT (ReaderT WikiState IO) Response
debugHandler' = [ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum [ServerPartT (ReaderT WikiState IO) Response
debugHandler | Config -> Bool
debugMode Config
conf]
let handlers :: ServerPartT (ReaderT WikiState IO) Response
handlers = ServerPartT (ReaderT WikiState IO) Response
debugHandler' ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a. MonadPlus m => m a -> m a -> m a
`mplus` Config -> ServerPartT (ReaderT WikiState IO) Response
authHandler Config
conf ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a. MonadPlus m => m a -> m a -> m a
`mplus`
AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForRead ([ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum [ServerPartT (ReaderT WikiState IO) Response]
wikiHandlers)
let fs :: FileStore
fs = Config -> FileStore
filestoreFromConfig Config
conf
let ws :: WikiState
ws = WikiState :: Config -> FileStore -> WikiState
WikiState { wikiConfig :: Config
wikiConfig = Config
conf, wikiFileStore :: FileStore
wikiFileStore = FileStore
fs }
if Config -> Bool
compressResponses Config
conf
then ServerPartT IO FilePath
forall (m :: * -> *).
(FilterMonad Response m, MonadPlus m, WebMonad Response m,
ServerMonad m, MonadFail m) =>
m FilePath
compressedResponseFilter
else FilePath -> ServerPartT IO FilePath
forall (m :: * -> *) a. Monad m => a -> m a
return FilePath
""
ServerPart Response
staticHandler ServerPart Response -> ServerPart Response -> ServerPart Response
forall (m :: * -> *) a. MonadPlus m => m a -> m a -> m a
`mplus` WikiState
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPart Response
runHandler WikiState
ws (Config
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
withUser Config
conf ServerPartT (ReaderT WikiState IO) Response
handlers)
serveDirectory' :: FilePath -> ServerPart Response
serveDirectory' :: FilePath -> ServerPart Response
serveDirectory' FilePath
p = do
Request
rq <- ServerPartT IO Request
forall (m :: * -> *). ServerMonad m => m Request
askRq
Response
resp' <- Browsing -> [FilePath] -> FilePath -> ServerPart Response
forall (m :: * -> *).
(WebMonad Response m, ServerMonad m, FilterMonad Response m,
MonadIO m, MonadPlus m) =>
Browsing -> [FilePath] -> FilePath -> m Response
serveDirectory Browsing
EnableBrowsing [] FilePath
p
if Response -> Int
rsCode Response
resp' Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
404 Bool -> Bool -> Bool
|| FilePath -> FilePath -> Char
forall a. Partial => FilePath -> [a] -> a
lastNote FilePath
"fileServeStrict'" (Request -> FilePath
rqUri Request
rq) Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== Char
'/'
then ServerPart Response
forall (m :: * -> *) a. MonadPlus m => m a
mzero
else
case FilePath -> Response -> Maybe ByteString
forall r. HasHeaders r => FilePath -> r -> Maybe ByteString
getHeader FilePath
"Content-Type" Response
resp' of
Just ByteString
ct | FilePath -> ByteString
B.pack FilePath
"text/" ByteString -> ByteString -> Bool
`B.isPrefixOf` ByteString
ct -> Response -> ServerPart Response
forall (m :: * -> *) a. Monad m => a -> m a
return Response
resp'
Maybe ByteString
_ -> ServerPartT IO ()
forall a (m :: * -> *). FilterMonad a m => m ()
ignoreFilters ServerPartT IO () -> ServerPart Response -> ServerPart Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Response -> ServerPart Response
forall (m :: * -> *) a. Monad m => a -> m a
return Response
resp'
wikiHandlers :: [Handler]
wikiHandlers :: [ServerPartT (ReaderT WikiState IO) Response]
wikiHandlers =
[
GititServerPart ()
guardBareBase GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) FilePath
-> ServerPartT (ReaderT WikiState IO) FilePath
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) FilePath
forall (m :: * -> *). ServerMonad m => m FilePath
getWikiBase ServerPartT (ReaderT WikiState IO) FilePath
-> (FilePath -> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \FilePath
b -> FilePath -> Response -> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a res.
(FilterMonad Response m, ToSURI a) =>
a -> res -> m res
movedPermanently (FilePath
b FilePath -> FilePath -> FilePath
forall a. [a] -> [a] -> [a]
++ FilePath
"/") (() -> Response
forall a. ToMessage a => a -> Response
toResponse ())
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_activity" ServerPartT (ReaderT WikiState IO) Response
showActivity
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_go" ServerPartT (ReaderT WikiState IO) Response
goToPage
, Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
GET GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_search" ServerPartT (ReaderT WikiState IO) Response
searchResults
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_upload" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ do Bool -> GititServerPart ()
forall (f :: * -> *). Alternative f => Bool -> f ()
guard (Bool -> GititServerPart ())
-> ServerPartT (ReaderT WikiState IO) Bool -> GititServerPart ()
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< Bool -> ServerPartT (ReaderT WikiState IO) Bool
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool -> ServerPartT (ReaderT WikiState IO) Bool)
-> (Config -> Bool)
-> Config
-> ServerPartT (ReaderT WikiState IO) Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Config -> Bool
uploadsAllowed (Config -> ServerPartT (ReaderT WikiState IO) Bool)
-> ServerPartT (ReaderT WikiState IO) Config
-> ServerPartT (ReaderT WikiState IO) Bool
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< ServerPartT (ReaderT WikiState IO) Config
getConfig
[ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum [ Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
GET GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForModify ServerPartT (ReaderT WikiState IO) Response
uploadForm
, Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
POST GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForModify ServerPartT (ReaderT WikiState IO) Response
uploadFile ]
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_random" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
GET GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
randomPage
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_index" ServerPartT (ReaderT WikiState IO) Response
indexPage
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_feed" ServerPartT (ReaderT WikiState IO) Response
feedHandler
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_category" ServerPartT (ReaderT WikiState IO) Response
categoryPage
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_categories" ServerPartT (ReaderT WikiState IO) Response
categoryListPage
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_expire" ServerPartT (ReaderT WikiState IO) Response
expireCache
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_showraw" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ [ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum
[ ServerPartT (ReaderT WikiState IO) Response
showRawPage
, (FilePath -> Bool) -> GititServerPart ()
guardPath FilePath -> Bool
isSourceCode GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
showFileAsText ]
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_history" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ [ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum
[ ServerPartT (ReaderT WikiState IO) Response
showPageHistory
, (FilePath -> Bool) -> GititServerPart ()
guardPath FilePath -> Bool
isSourceCode GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
showFileHistory ]
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_edit" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForModify (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
unlessNoEdit ServerPartT (ReaderT WikiState IO) Response
editPage ServerPartT (ReaderT WikiState IO) Response
showPage)
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_diff" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ [ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum
[ ServerPartT (ReaderT WikiState IO) Response
showPageDiff
, (FilePath -> Bool) -> GititServerPart ()
guardPath FilePath -> Bool
isSourceCode GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
showFileDiff ]
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_discuss" ServerPartT (ReaderT WikiState IO) Response
discussPage
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_delete" (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall a b. (a -> b) -> a -> b
$ [ServerPartT (ReaderT WikiState IO) Response]
-> ServerPartT (ReaderT WikiState IO) Response
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, MonadPlus m) =>
t (m a) -> m a
msum
[ Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
GET GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>>
AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForModify (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
unlessNoDelete ServerPartT (ReaderT WikiState IO) Response
confirmDelete ServerPartT (ReaderT WikiState IO) Response
showPage)
, Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
POST GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>>
AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForModify (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
unlessNoDelete ServerPartT (ReaderT WikiState IO) Response
deletePage ServerPartT (ReaderT WikiState IO) Response
showPage) ]
, FilePath
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a.
(ServerMonad m, MonadPlus m) =>
FilePath -> m a -> m a
dir FilePath
"_preview" ServerPartT (ReaderT WikiState IO) Response
preview
, GititServerPart ()
guardIndex GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
indexPage
, Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
POST GititServerPart () -> GititServerPart () -> GititServerPart ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> FilePath -> GititServerPart ()
guardCommand FilePath
"cancel" GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
showPage
, Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
POST GititServerPart () -> GititServerPart () -> GititServerPart ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> FilePath -> GititServerPart ()
guardCommand FilePath
"update" GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>>
AuthenticationLevel
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
authenticate AuthenticationLevel
ForModify (ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
unlessNoEdit ServerPartT (ReaderT WikiState IO) Response
updatePage ServerPartT (ReaderT WikiState IO) Response
showPage)
, ServerPartT (ReaderT WikiState IO) Response
showPage
, (FilePath -> Bool) -> GititServerPart ()
guardPath FilePath -> Bool
isSourceCode GititServerPart () -> GititServerPart () -> GititServerPart ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Method -> GititServerPart ()
forall (m :: * -> *) method.
(ServerMonad m, MonadPlus m, MatchMethod method) =>
method -> m ()
method Method
GET GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
showHighlightedSource
, ServerPartT (ReaderT WikiState IO) Response
handleAny
, Response -> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a. FilterMonad Response m => a -> m a
notFound (Response -> ServerPartT (ReaderT WikiState IO) Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< ((FilePath -> Bool) -> GititServerPart ()
guardPath FilePath -> Bool
isPage GititServerPart ()
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPartT (ReaderT WikiState IO) Response
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> ServerPartT (ReaderT WikiState IO) Response
createPage)
]
reloadTemplates :: ServerPart Response
reloadTemplates :: ServerPart Response
reloadTemplates = do
IO () -> ServerPartT IO ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO IO ()
recompilePageTemplate
Response -> ServerPart Response
forall (m :: * -> *) a. FilterMonad Response m => a -> m a
ok (Response -> ServerPart Response)
-> Response -> ServerPart Response
forall a b. (a -> b) -> a -> b
$ FilePath -> Response
forall a. ToMessage a => a -> Response
toResponse FilePath
"Page templates have been recompiled."
runHandler :: WikiState -> Handler -> ServerPart Response
runHandler :: WikiState
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPart Response
runHandler = (UnWebT (ReaderT WikiState IO) Response -> UnWebT IO Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPart Response
forall (m :: * -> *) a (n :: * -> *) b.
(UnWebT m a -> UnWebT n b) -> ServerPartT m a -> ServerPartT n b
mapServerPartT ((UnWebT (ReaderT WikiState IO) Response -> UnWebT IO Response)
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPart Response)
-> (WikiState
-> UnWebT (ReaderT WikiState IO) Response -> UnWebT IO Response)
-> WikiState
-> ServerPartT (ReaderT WikiState IO) Response
-> ServerPart Response
forall b c a. (b -> c) -> (a -> b) -> a -> c
. WikiState
-> UnWebT (ReaderT WikiState IO) Response -> UnWebT IO Response
forall s a. s -> UnWebT (ReaderT s IO) a -> UnWebT IO a
unpackReaderT
unpackReaderT :: s -> UnWebT (ReaderT s IO) a -> UnWebT IO a
unpackReaderT :: s -> UnWebT (ReaderT s IO) a -> UnWebT IO a
unpackReaderT s
st UnWebT (ReaderT s IO) a
uw = UnWebT (ReaderT s IO) a -> s -> UnWebT IO a
forall r (m :: * -> *) a. ReaderT r m a -> r -> m a
runReaderT UnWebT (ReaderT s IO) a
uw s
st