我了解到我可以通过以下方式使用servant和Lucid定义我的API:
type ClientAPI =
"users" :> Get '[HTML] (Html ())
:<|> "userdata" :> Get '[HTML] (Html ())
然后,如果我想在 HTML 中添加指向其中一个端点的链接,我可以使用 Lucid 提供的“a_”函数,例如
a_ [href_ "users"] "Show users"
这种方法的问题是我需要重复端点的名称两次。 “users”同时出现在 API 定义和 a_ 标记中。结果,如果我在一个地方更改它,另一个地方会立即停止工作。
有没有办法定义一个可以在两个地方使用的符号?像这样的东西:
data MySites = UserSite | UserDataSite -- potentially more
type ClientAPI' =
UserSite :> Get '[HTML] (Html ())
-- ......
let html =
...
a_ [href_ UserSite] "Show users"
...
最佳答案
如果您只想抽象字符串“user”
,您可以使用类型别名来完成此操作,然后使用 GHC.TypeLits.symbolVal
获取值级别的字符串:
{-# LANGUAGE DataKinds #-}
import Data.Proxy
import GHC.TypeLits
type UserSite = "user"
html = ... href_ (symbolVal (Proxy :: Proxy UserSite)) ...
您还可以通过使用 AllowAmbigouslyTypes
定义帮助器来缩短 symbolVal
调用的时间:
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
urlpath :: forall s . KnownSymbol s => String
urlpath = symbolVal (Proxy :: Proxy s)
html = ... href_ (urlpath @UserSite) ...
(我实际上认为类似的东西在标准库中的某个地方,但我找不到它。)
关于haskell - 使用 Lucid WebUI 导航 Haskell Servant API,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59011326/