хочу монадический аналог %~ но не могу понять с какого места читать доки, они жуткие совершенно. Иными словами, я хочу сделать
do
z <- obj ˆ. #field
z' <- f z
pure $ obj & #field .~ z'
и почти уверен, для этого есть какой-нибудь оператор из трех или четырех спецсимволов или что-то словами, но сходу нагуглилось что-то не то
obj & #field %%~ f ?
Да! Во всяком случае скомпилировалось, в данном случае это почти наверняка значит работает
кстати z <- obj ˆ. #field не имеет смысла вероятно ты хотел let z = obj ^. #field
Обсуждают сегодня