haskell - 在servant中路由

Question

我在 Haskell 项目中使用仆人。下面是我的源代码：

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）。我想为路径“base/”编写一个侦听器，然后在下一条路线上移动（或不移动）。像下一个：

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

是否可以实施？