так, чтобы это отразилось на всем стейте.
Пример:
data Frame == ...
data Ctx = Ctx {
_frame :: Frame,
...
}
add :: State Frame Int
...
runArg :: XV.Arg -> State Ctx X.Arg
Мне нужно воспользоваться функцией add, в монаде, где состояние содержит значение состояния, которое ожидает это add, так, чтобы еффект был по всему состоянию Ctx. Как лучше такое сделать? Или так лучше вовсе не делать?
modify \ctx@Ctx{_frame = oldFrame} -> ctx{_frame = newFrame}
Обсуждают сегодня