From bb161b656de9607bcd9e947276164f42826d3d71 Mon Sep 17 00:00:00 2001 From: quidtum Date: Wed, 23 Feb 2022 00:17:24 -0500 Subject: build --- dist/dbreset-exe | Bin 24110072 -> 24110072 bytes dist/spectralrenga-exe | Bin 24107096 -> 24107096 bytes src/Lib.hs | 20 ++++++++++---------- 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/dist/dbreset-exe b/dist/dbreset-exe index dad39cb..838f448 100755 Binary files a/dist/dbreset-exe and b/dist/dbreset-exe differ diff --git a/dist/spectralrenga-exe b/dist/spectralrenga-exe index 2623e3d..740c272 100755 Binary files a/dist/spectralrenga-exe and b/dist/spectralrenga-exe differ diff --git a/src/Lib.hs b/src/Lib.hs index ed99663..33ef01a 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 = "spectralrenga" :> "new-subgraph" :> Get '[HTML] NoContent -type DomainAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> Get '[HTML] DomainView -type DomainReadAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> +type NewDomainAPI = "spectral-renga" :> "new-subgraph" :> Get '[HTML] NoContent +type DomainAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> Get '[HTML] DomainView +type DomainReadAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "read" :> QueryParam "verse" VerseSpec :> Get '[HTML] DomainReadView -type DomainWriteAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> +type DomainWriteAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "write" :> QueryParam "src" LineIden :> QueryParam "dst" LineIden :> QueryParam "init" () :> Get '[HTML] DomainWriteView -type DomainWriteSubmitAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> +type DomainWriteSubmitAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "write-submit" :> ReqBody '[FormUrlEncoded] WriteSubmitForm :> Post '[HTML] NoContent -type DomainWalkAPI = "spectralrenga" :> "g" :> Capture "domainName" DomainName :> +type DomainWalkAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "walk" :> QueryParam "line" LineIden :> Get '[HTML] DomainWalkView -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 DomainClearAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "clear" :> Post '[HTML] NoContent +type DomainResetAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "reset" :> Post '[HTML] NoContent +type DomainDeleteAPI = "spectral-renga" :> "g" :> Capture "domainName" DomainName :> "delete" :> Post '[HTML] NoContent type API = HomeAPI :<|> NewDomainAPI :<|> DomainAPI @@ -158,7 +158,7 @@ type API = HomeAPI :<|> DomainClearAPI :<|> DomainResetAPI :<|> DomainDeleteAPI - :<|> "spectralrenga" :> "static" :> Raw + :<|> "spectral-renga" :> "static" :> Raw startApp :: IO () startApp = run 8080 app -- cgit v1.2.3