diff options
| -rwxr-xr-x | dist/dbreset-exe | bin | 24110072 -> 24110072 bytes | |||
| -rwxr-xr-x | dist/spectralrenga-exe | bin | 24107096 -> 24107096 bytes | |||
| -rw-r--r-- | src/Lib.hs | 20 |
3 files changed, 10 insertions, 10 deletions
diff --git a/dist/dbreset-exe b/dist/dbreset-exe Binary files differindex dad39cb..838f448 100755 --- a/dist/dbreset-exe +++ b/dist/dbreset-exe diff --git a/dist/spectralrenga-exe b/dist/spectralrenga-exe Binary files differindex 2623e3d..740c272 100755 --- a/dist/spectralrenga-exe +++ b/dist/spectralrenga-exe @@ -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 |