7

我真的希望我没有在这里走入死胡同。我有一个行为，它给出当前选定的颜色和当前鼠标坐标，然后在单击鼠标时执行任务。该任务涉及查看一个列表，然后更新该列表中的值，以便稍后检索它。我可以“存储”所选颜色的事实让我希望可以以类似的方式存储列表。我只是在死胡同，不知道如何解决这个问题。非常感谢一些帮助。

-- There is a Blue button and a Red button on our UI. Whichever
-- button was clicked last is our current color selection.
colorRedSelected = const ColorRed <$ UI.click redButton
colorBlueSelected = const ColorBlue <$ UI.click blueButton

-- we combine both the above Events to create a new one that tells us the current selected color
colorSelected = unionWith const colorRedSelected colorBlueSelected

-- accumulate values for our Behaviour, starting with ColorRed selected by default
colorMode       <- accumB ColorRed modeEvent

-- create a Behaviour
mouseCoordinate   <- stepper (0,0) $ UI.mousemove canvas

-- want to start with the list [1,2,3,4], but this value should change later.
-- I have 'never' here, as I don't know what else to put here yet.

listState      <- accumB ([1,2,3,4]) never

-- Combine the Behaviours, we now have a tuple (chosenColorMode, mouseCoordinateTuple, savedList)

let choices = (,,) <$> colorMode <*> mouseCoordinate <*> listState

-- Apply the event (of the user clicking the canvas) to the Behaviour,
-- creating a new Event that returns the above tuple when it fires    

makeChoice = choices <@ UI.click canvas

onEvent makeChoice $ \(colorMode, (x,y), savedList) -> do    
    ...
    -- in this block we use the savedList, and generate a newList.
    -- I want to update the choicePosition behaviour so that the newList
    -- replaces the old savedList.
4

1 回答 1

2

完全归功于duplode 的回复，我将介绍它是如何解决的：

假设我们有一个函数可以根据某个值以某种方式修改列表。如何/为什么updateMyList修改列表对于这个解释并不重要，我们只需要知道它的类型。对于这个例子，我们会说决定列表如何变化的值是一个鼠标坐标元组 (x, y)，我们将把它作为它的第一个参数传递：

updateMyList :: (Double, Double) -> [Integer] -> [Integer]
updateMyList (x, y) oldList = ...

如果我们有一个事件告诉我们用户点击时的鼠标坐标：

mouseCoords :: Behavior (Double, Double)
mouseCoords <- stepper (0,0) $ UI.mousemove canvas

mouseClicked :: Event (Double, Double)
mouseClicked = mouseCoords <@ UI.click canvas -- this is the Event we need

我们需要做的是fmap列表更新功能到mouseClicked：

listChangeEvent = fmap updateMyList mouseClicked

所以我们创建了一个新事件：当mouseClicked被触发时，鼠标坐标作为第一个参数传递给，updateMyList这就是我们的新事件在那个时间戳的值。但这是一个部分应用的函数，updateMyList仍然需要一个[Integer]作为参数，因此，listChangeEvent具有以下类型：

listChangeEvent :: Event ([Integer] -> [Integer])

现在，这是聪明的部分：如果我们使用accumB并指定起始累加器（即我们的起始列表，[1,2,3,4]），然后也使用上面listChangeEvent的作为事件accumB从以下位置获取其值：

listState      <- accumB ([1,2,3,4]) listChangeEvent

然后那个累加器将被传递给Event ([Integer] -> [Integer]). 这意味着第一次listChangeEvent触发器updateMyList将被调用：

updateMyList (x, y) [1,2,3,4] -- (x, y) being the mouse coordinates at that time

其结果将成为 中的新累加器值listState，并且该新列表将用作updateMyList下次listChangeEvent触发器的参数，依此类推。

我们可以将它用于任何事情，它不一定是我们正在修改的列表。这只是为我们提供了一种使用值初始化 Behavior 的方法，并且我们可以通过创建等效于 的函数来准确指定 Behavior 的下一个值是如何派生的updateMyList。

于 2022-01-17T15:37:35.117 回答