From 503e9d7d22ffb9fbdb4f714d076e3434ced91b2e Mon Sep 17 00:00:00 2001 From: quidtum Date: Wed, 23 Feb 2022 00:14:59 -0500 Subject: links --- src/Lib.hs | 28 ++++++++++++++-------------- 1 file 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 " · ") - a_ [href_ "https://cyfraeviolae.org/"] "cyfraeviolae.org" + a_ [href_ "/"] "cyfraeviolae.org" span_ $ toHtmlRaw (T.pack " · ") 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_ $ -- cgit v1.2.3