49807ed27f
I decided to add some safety to routes: - Use dedicated newtypes - Use CI for the CI-unique DB fields Since such a change requires so many changes in many source files, this is also a chance to do other such breaking changes. I'm recording the change gradually. It won't build until I finish, so for now don't waste time trying to build the app.
69 lines
3.2 KiB
Text
69 lines
3.2 KiB
Text
-- This file is part of Vervis.
|
|
--
|
|
-- Written in 2016 by fr33domlover <fr33domlover@riseup.net>.
|
|
--
|
|
-- ♡ Copying is an act of love. Please copy, reuse and share.
|
|
--
|
|
-- The author(s) have dedicated all copyright and related and neighboring
|
|
-- rights to this software to the public domain worldwide. This software is
|
|
-- distributed without any warranty.
|
|
--
|
|
-- You should have received a copy of the CC0 Public Domain Dedication along
|
|
-- with this software. If not, see
|
|
-- <http://creativecommons.org/publicdomain/zero/1.0/>.
|
|
|
|
-- ----------------------------------------------------------------------------
|
|
-- Yesod misc
|
|
-- ----------------------------------------------------------------------------
|
|
|
|
/static StaticR Static appStatic
|
|
/favicon.ico FaviconR GET
|
|
/robots.txt RobotsR GET
|
|
|
|
-- ----------------------------------------------------------------------------
|
|
-- User login
|
|
-- ----------------------------------------------------------------------------
|
|
|
|
/auth AuthR Auth getAuth
|
|
|
|
-- ----------------------------------------------------------------------------
|
|
-- Everything else...
|
|
-- ----------------------------------------------------------------------------
|
|
|
|
/ HomeR GET
|
|
|
|
/s PeopleR GET POST
|
|
/s/!new PersonNewR GET
|
|
/s/#ShrIdent PersonR GET
|
|
|
|
/k KeysR GET POST
|
|
/k/!new KeyNewR GET
|
|
/k/#KyIdent KeyR GET DELETE POST
|
|
|
|
/s/#ShrIdent/r ReposR GET POST
|
|
/s/#ShrIdent/r/!new RepoNewR GET
|
|
/s/#ShrIdent/r/#RpIdent RepoR GET DELETE POST
|
|
/s/#ShrIdent/r/#RpIdent/s/+Texts RepoSourceR GET
|
|
/s/#ShrIdent/r/#RpIdent/c RepoHeadChangesR GET
|
|
/s/#ShrIdent/r/#RpIdent/c/#Text RepoChangesR GET
|
|
|
|
/s/#ShrIdent/r/#RpIdent/_darcs/+Texts DarcsDownloadR GET
|
|
|
|
/s/#ShrIdent/r/#RpIdent/git/info/refs GitRefDiscoverR GET
|
|
--/s/#ShrIdent/r/#RpIdent/git/git-upload-pack GitUploadRequestR POST
|
|
|
|
/s/#ShrIdent/p ProjectsR GET POST
|
|
/s/#ShrIdent/p/!new ProjectNewR GET
|
|
/s/#ShrIdent/p/#PrjIdent ProjectR GET
|
|
|
|
/s/#ShrIdent/p/#PrjIdent/t TicketsR GET POST
|
|
/s/#ShrIdent/p/#PrjIdent/t/!new TicketNewR GET
|
|
/s/#ShrIdent/p/#PrjIdent/t/#Int TicketR GET PUT DELETE POST
|
|
/s/#ShrIdent/p/#PrjIdent/t/#Int/edit TicketEditR GET
|
|
/s/#ShrIdent/p/#PrjIdent/t/#Int/d TicketDiscussionR GET POST
|
|
/s/#ShrIdent/p/#PrjIdent/t/#Int/d/#Int TicketMessageR GET POST
|
|
/s/#ShrIdent/p/#PrjIdent/t/#Int/d/!reply TicketTopReplyR GET
|
|
/s/#ShrIdent/p/#PrjIdent/t/#Int/d/#Int/reply TicketReplyR GET
|
|
|
|
-- /s/#ShrIdent/p/#PrjIdent/w WikiR GET
|
|
-- /s/#ShrIdent/p/#PrjIdent/w/+Texts WikiPageR GET
|