如何基于动态列名创建Brick.Forms动态输入表单？

Brick.Forms的常规用法依赖预定义数据类型，但针对运行时动态列名的场景，我们可以通过键值对状态+动态Lens的方式直接实现，也有几种替代方案可选：

一、直接实现方案 #

核心思路是用键值对类型存储动态输入，为每个列名动态生成表单字段的访问Lens，再组合成完整表单。

1. 定义轻量包装类型 #

用Map存储列名与输入值的映射，作为表单的状态载体：

import qualified Data.Map as Map
import Data.Text (Text)

newtype DynamicForm = DynamicForm { dfFields :: Map.Map Text Text } deriving (Show)

2. 动态生成表单字段 #

通过遍历列名列表，为每个列创建对应的文本输入字段，并利用Lens实现状态的读写：

import Brick.Forms (Form, field, textField, formState, handleFormEvent, renderForm)
import Control.Lens (Lens', lens, (^.), (.~))

-- 为单个列名生成状态访问Lens
mkColumnLens :: Text -> Lens' DynamicForm Text
mkColumnLens colName = lens getter setter
  where
    getter (DynamicForm m) = Map.findWithDefault "" colName m
    setter (DynamicForm m) val = DynamicForm $ Map.insert colName val m

-- 基于列名列表构建完整动态表单
buildDynamicForm :: [Text] -> DynamicForm -> Form DynamicForm e n
buildDynamicForm columns initial = foldr addColumnField baseForm columns
  where
    baseForm = formState initial
    addColumnField col form = form <+> field (textField (mkColumnLens col))
                                             (col <> " : ")
                                             (const Nothing) -- 可替换为自定义验证逻辑

3. 在Brick应用中使用 #

按照常规Brick流程处理表单事件与渲染：

import Brick (BrickEvent, EventM, Widget, VtyEvent, get, put)

-- 事件处理：转发Vty事件给表单
handleDynamicFormEvent :: BrickEvent n e -> EventM n (Form DynamicForm e n, ()) ()
handleDynamicFormEvent e = do
  (form, _) <- get
  case e of
    VtyEvent vtyE -> put =<< handleFormEvent vtyE form
    _ -> return ()

-- 渲染表单
renderDynamicForm :: Form DynamicForm e n -> [Widget n]
renderDynamicForm form = [renderForm form]

这个方案完全适配运行时动态列的需求，保留了Brick.Forms的自动事件处理、渲染、状态管理能力。

二、替代方案 #

如果上述方案不满足特定场景需求，可选择以下方式：

• 手动管理动态输入Widget：放弃Brick.Forms的封装，直接创建多个文本输入Widget，自己维护Map Text Text状态，手动处理每个输入框的事件分发、内容更新与验证。这种方式更灵活，但需要重复实现表单的基础逻辑。
• 基于泛型的动态记录（限编译时可知列名）：若列名可在编译时确定，可通过Template Haskell动态生成对应数据类型，再用Brick.Forms的泛型API构建表单，但此方案不适用于完全运行时动态的场景。

内容的提问来源于stack exchange，提问作者kush87