haskell - 如何在独立的Getter中使用(^?ix 0)？-6ren

haskell - 如何在独立的Getter中使用(^?ix 0)？

转载作者：行者123 更新时间：2023-12-02 12:01:12

25

4

抱歉，标题措辞不好，但我什至不知道如何正确提问。

我该如何转动它？

instPublicIP :: Instance -> Maybe Text
instPublicIP inst =
  inst ^. insNetworkInterfaces ^? ix 0 . iniAssociation . _Just . iniaPublicIP . _Just

进入此

instPublicIP' :: Lens' Instance (Maybe Text)
instPublicIP' = insNetworkInterfaces ^? ix 0 . iniAssociation . _Just . iniaPublicIP . _Just

当我尝试时，出现以下错误:

Main.hs:198:3:
    Couldn't match expected type ‘(Maybe Text -> f (Maybe Text))
                                  -> Instance -> f Instance’
                with actual type ‘Maybe Text’
    Relevant bindings include
      instPublicIP' :: (Maybe Text -> f (Maybe Text))
                       -> Instance -> f Instance
        (bound at app/Main.hs:197:1)
    In the expression:
      insNetworkInterfaces
      ^? ix 0 . iniAssociation . _Just . iniaPublicIP . _Just
    In an equation for ‘instPublicIP'’:
        instPublicIP'
          = insNetworkInterfaces
            ^? ix 0 . iniAssociation . _Just . iniaPublicIP . _Just

Main.hs:198:27:
    Couldn't match type ‘InstanceNetworkInterface’
                   with ‘Instance -> f0 Instance’
    Expected type: (InstanceNetworkInterface
                    -> Const (Data.Monoid.First Text) InstanceNetworkInterface)
                   -> (([InstanceNetworkInterface] -> f0 [InstanceNetworkInterface])
                       -> Instance -> f0 Instance)
                   -> Const
                        (Data.Monoid.First Text)
                        (([InstanceNetworkInterface] -> f0 [InstanceNetworkInterface])
                         -> Instance -> f0 Instance)
      Actual type: (IxValue
                      (([InstanceNetworkInterface] -> f0 [InstanceNetworkInterface])
                       -> Instance -> f0 Instance)
                    -> Const
                         (Data.Monoid.First Text)
                         (IxValue
                            (([InstanceNetworkInterface] -> f0 [InstanceNetworkInterface])
                             -> Instance -> f0 Instance)))
                   -> (([InstanceNetworkInterface] -> f0 [InstanceNetworkInterface])
                       -> Instance -> f0 Instance)
                   -> Const
                        (Data.Monoid.First Text)
                        (([InstanceNetworkInterface] -> f0 [InstanceNetworkInterface])
                         -> Instance -> f0 Instance)
    In the first argument of ‘(.)’, namely ‘ix 0’
    In the second argument of ‘(^?)’, namely
      ‘ix 0 . iniAssociation . _Just . iniaPublicIP . _Just’

最佳答案

结果我只需要将 ^? 替换为 . 并将 Lens' 更改为 Traversal'

instPublicIP' :: Traversal' Instance (Maybe Text)
instPublicIP' = insNetworkInterfaces . ix 0 . iniAssociation . _Just . iniaPublicIP

关于haskell - 如何在独立的Getter中使用(^?ix 0)？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/33115595/

25

4

0

文章推荐： .net - 从数据库检索数据时进行强制转换还是转换？

文章推荐： Gnuplot:向颜色框添加无穷大值

getter - 在类方法中使用 getter
如果您有一个具有一些普通 get/set 属性的类，是否有任何理由在类方法中使用 getter，或者您应该只使用私有(private)成员变量？我认为关于setter(验证逻辑？)可能会有更多争论，但
Java- setter/getter 的最佳实践，单个 setter/getter 或不同变量的多个 setter/getter ？
我是 Android 编程的新手(~ 2 个月)有必要为几十个不同的变量设置 getter 吗？例如—— //Yes I realise that this isn't 'dozens' publi
javascript - 当商店被拆分成模块时，在 VUEX 商店中出现错误 Uncaught Error : [vuex] getters should be function but "getters.getters" is {}.
我是VUEX新手，在学习VUEX的同时搭建了一个测试应用。我已将我的 VUEX 存储拆分为多个模块，每个模块都有自己的 getter.js 文件。 Getters、 Action 、突变被导入到每个模
Angular 5 : Service Getter Why Double Arrow if Referenced to Getter instead of Calling Getter Directly
我有一项服务正在加载我想在多个组件之间共享的基本系统信息。如果我在 getter 中创建一个 getter 方法 this 如果我不在服务中使用双箭头，则 getter 中的 this 成为组件的
javascript - 从参数化的 getter 访问 getter
tl;博士如何从参数化的 getter 访问其他 getter？通常可以使用this.myGetter ;但是参数化的 getter 被实现为箭头函数，其中 this未定义。在 Pinia 中处
java - 使用一个带参数的 getter，而不是使用多个不带参数的 getter
我第一次尝试做一些 OOP，这不是简单的练习，而是用 java 编写一个程序来存储有关人员的信息(如通讯录)。下面是我正在开发的名为 Person 的类的片段。 Person 将在将来的某个时间被其他
c#: setter/getter / setter/getter
我在某处看到类似下面的内容，想知道它是什么意思。我知道他们是getter和setter，但是想知道为什么字符串Type是这样定义的。谢谢你帮助我。 public string Type { get;
Java 语言约定； setter/getter / setter/getter
Public class Example { private int number; public Example(int number){ this.number =
java - 对象的 getter 与基元的 getter 有什么不同吗？
getter 应该只返回对象吗: public MyObject getMyObject() { return myObject; } 或者它应该复制它返回的对象并返回该副本？ public
java - 每个统计数据的 Enum-getter 与 Getter
我目前正在处理大量数据输入，包括很多值，我希望在 getter 中接收这些值以供以后使用。在编写了一些方法之后，我想知道仅使用一个 get 方法是否是一个更好的主意，并使用一个包含所有可能值的枚举类
javascript - 扩展类的属性，扩展类的 Getter。永远不会调用 Getter
我正在使用新的 Class Public Field Declarations可用 Chrome 72我遇到了这种真正奇怪的行为: class Extended { property = 5; }
c# - 将通用 getter 表达式转换为对象 getter 表达式
我有一个这样的表达式 setter/getter : var expression = () => SomeInstance.Nr; 它被传递到一个方法中: public void AddExpres
尽管删除了 getter，Javascript 还是不允许我设置只有 getter 的属性
我的一个类(class)中有以下 getter: get password(){ if(this._public) return null; var text = ""
javascript - 单元测试依赖于其他 getter 的 Vuex getter
我已经设法测试了与其他代码隔离的 Vuex getter。当 getter 依赖于其他 getter 时，我现在面临一些问题，请参见以下示例: getters.js export const gett
c++ - 在 getter 中对嵌套 getter 结果进行扁平化的最佳方法
有时我的任务是查找 getter 返回的值中的某些嵌套 getter 是否具有某些属性。经典的 C++ 会是这样的: for (const auto& label: labels) for (co
c# - 在覆盖属性的 Getter 中调用 "Base-Getter"
我有一个像这样的基类“Parent”: using System; using System.Collections.Generic; using System.Text; namespace Con
javascript - 傻瓜 setter/getter \ setter/getter
我一直在努力了解 getter 和 setter，但没有深入了解。我读过 JavaScript Getters and Setters和 Defining Getters and Setters只是没
vuejs2 - 在 Vuex 中如何从另一个 getter 调用一个 getter？
考虑一个简单的 Vue 博客: 我使用 Vuex 作为我的数据存储，我需要设置两个 getters :一个 getPost getter，用于通过 ID 检索 post，以及一个 listFeatur
javascript - 为什么我必须从一个模块传播 Vuex getter，而不是从另一个模块传播 Vuex getter？
我有一个 VueX 商店，有两个模块，user.js 和merchant.js，顶层是index.js。 user.js 中的 getter 是: 重构 const getters = { s
java - 有 getter 时没有 Getter Method Error
我正在尝试向 jsp 添加一个复选框以在进入站点之前接受条款和条件。尽管我有一个 getter 方法并且没有看到任何拼写错误，但我一直收到关于没有 getter 方法的相同错误。我不明白我错过了什么。

首页

博学

6Ren·AI

商城

haskell - 如何在独立的Getter中使用(^?ix 0)？