summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorquidtum <quidtum>2022-02-23 00:17:24 -0500
committerquidtum <quidtum>2022-02-23 00:17:24 -0500
commitbb161b656de9607bcd9e947276164f42826d3d71 (patch)
tree30aca6688c30c895745794413652182e1602b552
parent34e217c88144efb3b4d3937fbee2990c256989d2 (diff)
build
-rwxr-xr-xdist/dbreset-exebin24110072 -> 24110072 bytes
-rwxr-xr-xdist/spectralrenga-exebin24107096 -> 24107096 bytes
-rw-r--r--src/Lib.hs20
3 files changed, 10 insertions, 10 deletions
diff --git a/dist/dbreset-exe b/dist/dbreset-exe
index dad39cb..838f448 100755
--- a/dist/dbreset-exe
+++ b/dist/dbreset-exe
Binary files differ
diff --git a/dist/spectralrenga-exe b/dist/spectralrenga-exe
index 2623e3d..740c272 100755
--- a/dist/spectralrenga-exe
+++ b/dist/spectralrenga-exe
Binary files 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