gpt4 book ai didi

haskell - 如何非强制返回 `Maybe` 镜头?

转载 作者:行者123 更新时间:2023-12-04 14:40:45 28 4
gpt4 key购买 nike

Maybe (Lens' a b) 这样的类型不起作用,因为 Lens' 在引擎盖下是 Rank-2 类型,如果没有 -XImpredicativeTypes,则无法将其包装在类型构造函数中扩展名(GHC 并不真正支持)。

因此,给出一个道德上具有类型的功能的最佳类型是什么

foo :: A -> Maybe (Lens' B C)

一种可能是推迟 Maybe进入一个通过的延续
foo' :: ∀ y . A -> (Lens' B C -> y) -> Maybe y

但我不是特别喜欢那样。

最佳答案

这就是 Control.Lens.Reified 模块用于。它包含 newtype lens 的包装器等级制度。

foo :: A -> Maybe (ReifiedLens' B C)

关于haskell - 如何非强制返回 `Maybe` 镜头?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41522857/

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