summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorquidtum <quidtum>2022-02-23 00:14:59 -0500
committerquidtum <quidtum>2022-02-23 00:14:59 -0500
commit503e9d7d22ffb9fbdb4f714d076e3434ced91b2e (patch)
tree66e942fc38e821c9cd9c0567fc9bc44481ddd7e6
parent41aa01bbbc19dc8890310d040f4fd7e5b260261f (diff)
links
-rw-r--r--src/Lib.hs28
1 files changed, 14 insertions, 14 deletions
diff --git a/src/Lib.hs b/src/Lib.hs
index 6842144..ed99663 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -134,20 +134,20 @@ data DomainWriteView = DomainWriteView DomainName (Maybe Line) (Maybe Line) Colo
data DomainWalkView = DomainWalkView DomainName (Maybe (Line, [Line], [Line]))
type HomeAPI = Get '[HTML] HomeView
-type NewDomainAPI = "new-subgraph" :> Get '[HTML] NoContent
-type DomainAPI = "g" :> Capture "domainName" DomainName :> Get '[HTML] DomainView
-type DomainReadAPI = "g" :> Capture "domainName" DomainName :>
+type NewDomainAPI = "spectralrenga" :> "new-subgraph" :> Get '[HTML] NoContent
+type DomainAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> Get '[HTML] DomainView
+type DomainReadAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :>
"read" :> QueryParam "verse" VerseSpec :> Get '[HTML] DomainReadView
-type DomainWriteAPI = "g" :> Capture "domainName" DomainName :>
+type DomainWriteAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :>
"write" :> QueryParam "src" LineIden :> QueryParam "dst" LineIden :>
QueryParam "init" () :> Get '[HTML] DomainWriteView
-type DomainWriteSubmitAPI = "g" :> Capture "domainName" DomainName :>
+type DomainWriteSubmitAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :>
"write-submit" :> ReqBody '[FormUrlEncoded] WriteSubmitForm :> Post '[HTML] NoContent
-type DomainWalkAPI = "g" :> Capture "domainName" DomainName :>
+type DomainWalkAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :>
"walk" :> QueryParam "line" LineIden :> Get '[HTML] DomainWalkView
-type DomainClearAPI = "g" :> Capture "domainName" DomainName :> "clear" :> Post '[HTML] NoContent
-type DomainResetAPI = "g" :> Capture "domainName" DomainName :> "reset" :> Post '[HTML] NoContent
-type DomainDeleteAPI = "g" :> Capture "domainName" DomainName :> "delete" :> Post '[HTML] NoContent
+type DomainClearAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> "clear" :> Post '[HTML] NoContent
+type DomainResetAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> "reset" :> Post '[HTML] NoContent
+type DomainDeleteAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> "delete" :> Post '[HTML] NoContent
type API = HomeAPI
:<|> NewDomainAPI
:<|> DomainAPI
@@ -158,7 +158,7 @@ type API = HomeAPI
:<|> DomainClearAPI
:<|> DomainResetAPI
:<|> DomainDeleteAPI
- :<|> "static" :> Raw
+ :<|> "spectralrenga" :> "static" :> Raw
startApp :: IO ()
startApp = run 8080 app
@@ -567,9 +567,9 @@ instance ToHtml HomeView where
a_ [href_ newDomainURI] "create a private subgraph"
span_ "."
p_ $ small_ $ do
- a_ [href_ "https://git.cyfraeviolae.org/spectral-renga"] "source code"
+ a_ [href_ "https://cyfraeviolae.org/git/spectral-renga"] "source code"
span_ $ toHtmlRaw (T.pack " &middot; ")
- a_ [href_ "https://cyfraeviolae.org/"] "cyfraeviolae.org"
+ a_ [href_ "/"] "cyfraeviolae.org"
span_ $ toHtmlRaw (T.pack " &middot; ")
a_ [href_ "https://www.nlsun.com"] "nlsun.com"
@@ -705,8 +705,8 @@ pageTemplate domainName crumbs body = doctypehtml_ $ do
title_ $ toHtml $ "Spectral Renga" <> titleDomain
meta_ [charset_ "utf-8"]
meta_ [name_ "viewport", content_ "width=device-width, initial-scale=1.0"]
- link_ [rel_ "shortcut icon", type_ "image/x-icon", href_ "/static/favicon.ico"]
- link_ [rel_ "stylesheet", type_ "text/css", href_ "/static/style.css"]
+ link_ [rel_ "shortcut icon", type_ "image/x-icon", href_ "/spectral-renga/static/favicon.ico"]
+ link_ [rel_ "stylesheet", type_ "text/css", href_ "/spectral-renga/static/style.css"]
body_ $ div_ [class_ "container"] $ do
div_ [class_ "row navbar"] $
sequence_ $