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

如何从sybs datatypeof获取类型参数

haskell reflection generics

finnsson · 技术社区 · 14 年前

给定数据类型

data Foo =
  Foo1 { foo1Name :: String} 
  | Foo2 { foo2Name :: String, foo2Age :: Integer }

我想能够提取 Data.Data.DataTypeS 属于 Foo1 和 Foo2 S字段。

我试过了

datatype = (undefined :: Foo)
constrs = dataTypeConstrs datatype
foo1 = fromConstrs (head constrs) :: Foo
foo1Fields = gmapQ dataTypeOf foo1

但是 foo1Fields 就这么说吧 foo1Name 是一个 Prelude.[] 而不是使用哪个类型参数。

是否可以使用syb提取类型参数,或者应该使用其他反射库?

1 回复 | 直到 14 年前

sclv 14 年前

我不清楚你到底想干什么?数据类型用于实际构建事物。如果您只想获得类型,那么应该使用typeof。

例如,这是可行的,但它生成的是typerep而不是数据类型(我认为这是正确的做法)。

{-# Language DeriveDataTypeable #-}
import Data.Data
import Data.Typeable

data Foo =
  Foo1 { foo1Name :: String}
  | Foo2 { foo2Name :: String, foo2Age :: Integer } deriving (Data, Typeable, Show)

datatype = dataTypeOf (undefined :: Foo)
constrs = dataTypeConstrs datatype
fooConstrs = map fromConstr constrs :: [Foo]
foo1Fields = map (gmapQ typeOf) fooConstrs
-- foo1Fields = [[[Char]],[[Char],Integer]]

推荐文章

Glory Raj · 有什么方法可以使这两个块具有共同的功能吗

2 年前

username128437855 · 在泛型类中使用非泛型方法是否有任何问题?

2 年前

milczi · Swift通用无强制展开向下投射

6 年前

NSjonas · 接受函数并返回包含参数子集的函数的Typescript函数

6 年前

Richard Sand · Java工厂使用泛型和供应商接口,但仍然需要类型转换,有些地方不太正确

6 年前

Stephen Kennedy annamataws · 为什么受“Enum”约束的泛型类型在C#7.3中不能限定为“struct”?

6 年前

bugs · Typescript-泛型类型扩展自身

6 年前

John Bustos · C#通用工厂模式,不说明通用工厂模式的类型

6 年前

Blankdud · 具有默认数据的通用对象创建方法

6 年前

Tim Hutchison · 从泛型对象列表中读取泛型值

6 年前