代码之家 › 专栏 › 技术社区 › danidiaz

检查字段类型是类型级计算结果的记录

servant type-level-computation haskell

danidiaz · 技术社区 · 2 年前

这是在 servant 图书馆,但问题再次出现在 other contexts 。

Servant 允许您定义 named routes 使用记录,如下所示:

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE TypeOperators #-}
import GHC.Generics
import Servant

type API = NamedRoutes Counter

data Counter mode = Counter
  { counterPost :: mode :- Capture "stuff" Int :> PostNoContent,
    counterGet :: mode :- Get '[JSON] Int
  }
  deriving stock (Generic)

类型 Server API 将执行某种类型级别的计算,计算结果为

ghci> :kind! Server API
Server API :: *
= Counter (AsServerT Handler)

我想要一种“窥探”记录类型并检查每个字段的最终类型的方法,这将是评估的结果 AsServerT Handler :- Capture "stuff" Int :> PostNoContent 和 AsServerT Handler :- Get '[JSON] Int 。

但是,单独指定这两个表达式是不方便的。我想通过打字 服务器API to…something,并获取所有字段的求值类型作为回报。是否存在这样的功能?

1 回复 | 直到 2 年前

danidiaz 2 年前

似乎获取字段类型的一种方法是通过泛型表示:

ghci> :kind! Rep (Server API)
Rep (Server API) :: * -> *
= M1
    D
    ('MetaData "Counter" "Main" "main" 'False)
    (M1
       C
       ('MetaCons "Counter" 'PrefixI 'True)
       (M1
          S
          ('MetaSel
             ('Just "counterPost")
             'NoSourceUnpackedness
             'NoSourceStrictness
             'DecidedLazy)
          (K1 R (Int -> Handler NoContent))
        :*: M1
              S
              ('MetaSel
                 ('Just "counterGet")
                 'NoSourceUnpackedness
                 'NoSourceStrictness
                 'DecidedLazy)
              (K1 R (Handler Int))))

有点冗长,但它能很好地与 "Eval" code lens 在VSCode中:

为了减少冗长 Generics -基于helper可以生成更易于管理的输出。使用我的 by-other-names 包,我们可以定义:

recordFields ::
  forall r.
  (Generic r, GHasFieldNames (Rep r), GRecord Typeable (Rep r)) =>
  [(String, TypeRep)]
recordFields =
  Data.Foldable.toList $
    gRecordEnum @Typeable @(Rep r) gGetFieldNames typeRep

哪个,投入使用:

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

3 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

3 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

3 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

3 年前

Fabus1184 · Haskell mapM_不打印

3 年前

Gotthold · 基于范数约束向量的类型

3 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

3 年前

jian · haskell将另一个函数用作输入参数

3 年前

Jocafrei · 用Haskell函数实现最大公约数函数

7 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

7 年前