diff options
| author | quidtum <quidtum> | 2022-02-23 00:17:24 -0500 |
|---|---|---|
| committer | quidtum <quidtum> | 2022-02-23 00:17:24 -0500 |
| commit | bb161b656de9607bcd9e947276164f42826d3d71 (patch) | |
| tree | 30aca6688c30c895745794413652182e1602b552 /src | |
| parent | 34e217c88144efb3b4d3937fbee2990c256989d2 (diff) | |
build
Diffstat (limited to 'src')
| -rw-r--r-- | src/Lib.hs | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -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 |