在servant中路由

Question

我在Haskell项目中使用Servant。以下是我的源代码：

type MyAPI 
    = "base" :>  "page1.html":> Get '[HTML] H.Html 
    :<|> "base" :> "page2.html" :> Get '[HTML] H.Html 
    :<|> "base" :> "page3.html" :> Get '[HTML] H.Html 

serverAPI = pageH1 :<|> pageH2 :<|> pageH3

对于每个方法（pageH1，pageH2，pageH3），都有一个常规操作。此常规操作确定是否可以加载页面（pageH1，pageH2，pageH3）。我想为路径＆＃34; base /＆＃34;写一个监听器。然后在下一条路线上移动（或不要移动）。就像下一个：

type MyAPI 
        = "base" :> ............... 
        :<|> "base" :>  "page1.html":> Get '[HTML] H.Html 
        :<|> "base" :> "page2.html" :> Get '[HTML] H.Html 
        :<|> "base" :> "page3.html" :> Get '[HTML] H.Html 

    serverAPI = page :<|> pageH1 :<|> pageH2 :<|> pageH3

是否可以实施它？