我有一个功能
f : a -> b -> ( a, c )
Run Code Online (Sandbox Code Playgroud)
并且我需要申请, whilef的列表累积并附加到列表中,获取. 我想我想做的签名是bac( a, List c )
(a -> b -> ( a, c )) -> a -> List b -> ( a, List c )
Run Code Online (Sandbox Code Playgroud)
这里的真实情况是我有
getThing : Model -> Thing -> ( Model, Cmd Msg )
Run Code Online (Sandbox Code Playgroud)
并且需要getThing在 的列表上运行Thing,将 传递Model给每个调用getThing并返回模型和所有Cmd要在Platform.Cmd.batch.
我认为这个问题应该分解成多个部分,但我不确定从哪里开始。感觉使用折叠适合Model,但我需要Cmd零件的地图。