Haskells Brick庫中如何具有過程radioField選項

Question

由於無法給每個選項起一個名字，因此我無法radioField處理過程radioField 。 就我而言，我想從數據庫中加載可用選項，因此無法將其靜態命名。 有人知道嗎？

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

Answer 1

我是《磚頭》的作者。 值得一提的是，磚用戶電子郵件列表是一個問這樣的問題的好地方。

但要問您一個問題：由於名稱類型在您的控制之下，因此您可以為名稱類型提供一個構造函數，該構造函數采用參數來構造與每個單選按鈕值的數據相關的足夠唯一的名稱值。 例如，如果您加載數據庫數據，並且單選按鈕的每個值都與某個數字ID相關聯，則您可能僅具有如下名稱類型：

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

data Name = ...
          | RadioOption ID