diff options
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 |