gpt4 book ai didi

haskell - 用于 GADT 的 makeLenses (Haskell)

转载 作者:行者123 更新时间:2023-12-03 15:00:48 25 4
gpt4 key购买 nike

是否有 makeLenses 的等价物?对于 GADT?如果我有一个简单的GADT喜欢:

data D a b where
D :: (Ord a, Ord b) => !a -> !b -> D a b

有没有办法通过传入构造函数和字段名称列表来自动生成镜头?

最佳答案

我不认为它可以自动完成,但在这种特殊情况下,手动编写一些镜头并不难:

{-# LANGUAGE GADTs #-}

import Control.Lens

data D a b where
D :: (Ord a, Ord b) => !a -> !b -> D a b

field1 :: Lens' (D a b) a
field1 f (D x y) = fmap (\x' -> D x' y) (f x)

field2 :: Lens' (D a b) b
field2 f (D x y) = fmap (\y' -> D x y') (f y)

{- If you want type-changing lenses, you can also use these signatures.
- Note that then the target type Ord constraint has to escape.

field1 :: (Ord a2) => Lens (D a1 b) (D a2 b) a1 a2
field2 :: (Ord b2) => Lens (D a b1) (D a b2) b1 b2
-}

似乎有一些相关的 GitHub issue ,其中 Kmett 声称他们无法为存在量化的场创建镜头。

关于haskell - 用于 GADT 的 makeLenses (Haskell),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28145369/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com