30 lines
497 B
Haskell
30 lines
497 B
Haskell
{-# LANGUAGE DataKinds #-}
|
|
{-# LANGUAGE TypeOperators #-}
|
|
|
|
module Routes where
|
|
|
|
import Data.Text (Text)
|
|
import Data.Int (Int64)
|
|
|
|
import Miso (View)
|
|
|
|
import Servant.API
|
|
|
|
import Action
|
|
|
|
type Route
|
|
= R_Latest
|
|
:<|> R_Thread
|
|
|
|
type R_Latest = View Action
|
|
|
|
-- Show selected thread
|
|
-- - <website>/<board>/res/<thread_id>
|
|
type R_Thread
|
|
= Capture "website" Text
|
|
:> Capture "board" Text
|
|
:> Capture "board_thread_id" BoardThreadId
|
|
:> View Action
|
|
|
|
type BoardThreadId = Int64
|