是否有一个 Haskell 库在 sum 类型和相关的异构 sum 类型之间提供(或协助编写)通用同构? 采取以下总和类型, data TR = TR_Index | TR_Inner R 现在我们将它与一个异构和NS I xs相关联(其中“xs”由一个类型类定义;参见下面的MotleyRou ...
是否有一个 Haskell 库在 sum 类型和相关的异构 sum 类型之间提供(或协助编写)通用同构? 采取以下总和类型, data TR = TR_Index | TR_Inner R 现在我们将它与一个异构和NS I xs相关联(其中“xs”由一个类型类定义;参见下面的MotleyRou ...
来自sop-core的NS类型创造了一个有趣的难题。 在S :: NS f xs -> NS f (x ': xs)中,其中xs ~ '[]表示S的参数已存在。 然而,Haskell 的案例匹配迫使我进行匹配。 这个问题有解决方案吗? type T = NS I '[Int, String] ...
我将如何 go 关于派生 functiongetField :: (Generic a, HasDatatypeInfo a) => Proxy (name :: Symbol) -> a -> b 使用generics-sop库使用类型级字符串 ( Symbol ) 从任意记录 ...