K
А зачем это?
Size: a a a
2021 April 28
AK
новый сделает
K
Не, не сделает
AP
Откуда? Это неизвестный тип!
AK
ну можно на другой контрол подменить, главное чтобы типы совпадали
AP
andThen : (a -> Control setup2 value2 b) -> Control setup1 value1 a -> Control setup1 value1 bAP
Это единственный возможный вариант
AP
Т.е. строго отбрасывать setup и value, взятые из функции. Потому что оной неоткуда их взять и она может только
Control () () какой-нить сделатьAP
Сдаётся мне, что setup должен не так участвовать в типе
AP
Control setup ... = Control (setup -> ...)
вот такое я могу понятьK
да, оно Reader-ом должно быть
AP
А вот накопление
a -> a это скорее Writer (Endo a)AK
вот тут примеры использования: https://github.com/shamansir/tron-gui/tree/7.0.0/src/Tron/Control
AP
Ты на словах скажи, что у тебя в Maybe хранится?
AP
value мы можем понять
AK
хэндлер, который делает из
value -> msgAK
как в
onClickAK
но это не самый лучший путь, я знаю