Monomer框架中使用Lens处理文本输入的技术疑问

我正在使用Monomer框架编写GUI应用，其textField函数接受ALens来读写AppModel中的输入值。我的AppModel定义如下：

data AppModel = AppModel
  { _activeComment :: Maybe Text
  }
  deriving (Eq, Show)

目前我使用textField (activeComment . non "")来适配textField对Text类型焦点的要求。现针对Lens使用有两个疑问：

1. 如何将用户输入映射为每个按键后追加"h"，即插入(\t -> t <> "h")映射？应使用什么操作符？是否属于Iso范畴？ #

要实现输入后自动追加"h"的逻辑，有两种常用方案，其中基于Iso的方案更贴合Lens的组合式风格：

方案1：用iso构造双向转换（属于Iso范畴） #

这个需求是双向可逆的（输入时追加"h"，读取时可反向移除最后一个"h"），完全符合Iso的定义——可逆的同构映射。先定义一个自定义Iso：

import Data.Text as T
import Control.Lens

appendH :: Iso' Text Text
appendH = iso 
  (\t -> t <> "h")  -- 正向：输入文本追加"h"
  (\t -> if T.null t then t else T.init t)  -- 反向：移除最后一个字符还原输入

再将它和原有的Lens组合，直接传给textField：

textField (activeComment . non "" . appendH)

这种方式无需额外事件处理，完全通过Lens组合实现值转换，简洁贴合Monomer设计思路。

方案2：事件回调中用over修改值 #

如果不需要反向转换，也可以在输入变化的事件回调里，用over操作符修改Lens指向的值：
首先给textField绑定onChange事件：

textField (activeComment . non "") `onChange` CommentUpdated

然后在事件处理函数中追加"h"：

data AppEvent = CommentUpdated Text | ...

handleEvent :: AppModel -> AppEvent -> [AppEventResponse AppModel AppEvent]
handleEvent model event = case event of
  CommentUpdated newText -> 
    [Model $ over (activeComment . non "") (\t -> t <> "h") model]
  -- 其他事件处理逻辑

2. 如何在每次按键时执行一个副作用，等待结果后再设置到Lens焦点？ #

Monomer通过Task支持异步副作用，可结合按键/输入事件触发异步操作，完成后再更新模型：

步骤1：绑定输入事件 #

如果要捕获每次按键，用onKey事件；如果要捕获输入完成后的文本变化，用onChange。以onKey为例：

textField (activeComment . non "") 
  `onKey` \_ _ key -> do
    let currentText = view (activeComment . non "") model
        newText = currentText <> keyToText key
    [Task $ do
      -- 执行副作用：比如调用API、读取文件、计算等
      processedText <- yourSideEffectFunction newText
      -- 副作用完成后，发送事件更新模型
      return $ UpdateComment processedText]

步骤2：处理异步结果事件 #

定义对应的更新事件，并在handleEvent中更新模型：

data AppEvent = UpdateComment Text | ...

handleEvent :: AppModel -> AppEvent -> [AppEventResponse AppModel AppEvent]
handleEvent model event = case event of
  UpdateComment processedText -> 
    [Model $ set (activeComment . non "") processedText model]
  -- 其他事件处理逻辑

如果用onChange替代onKey，逻辑类似：只需将onKey回调换成onChange，直接传递输入的完整文本即可。

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