如何在 haskells brick 库中使用程序 radioField 选项

Question

我不知道如何让程序成为 radioField，因为我必须给每个选项一个名称。在我的例子中，我想从数据库加载可用选项，因此我不能让它们静态命名。有人有想法吗？

radioField handed [ (LeftHanded, LeftHandField, "Left")
                  , (RightHanded, RightHandField, "Right")
                  , (Ambidextrous, AmbiField, "Both")
                  ]

Answer 1

我是 Brick 的作者。不管怎样，Brick 用户电子邮件列表是提出此类问题的好地方。

但是对于您的问题：由于名称类型在您的控制之下，您可以为您的名称类型提供一个构造函数，该构造函数采用参数来构造足够唯一的名称值，这些名称值与每个单选按钮值的数据相关。例如，如果您加载数据库数据并且单选按钮的每个值都与某个数字 ID 相关联，您可能只有一个名称类型：

-- The type of database record IDs
type ID = Int

data Name = ...
          | RadioOption ID

如何在 haskells brick 库中使用程序 radioField 选项

How to have procedural radioField options in haskells brick library

haskell

radio-group