MK
написал
getFirst $ mconcat $ foo ^.. bar . to Firstтак, а если я хочу не First, а Min, то как мне написать?
getMin $ foo ^. bar . to Min ?Size: a a a
2020 December 20
MK
или есть какая-то функция линзовая которой можно сказать какой моноид я хочу?
к
так, а если я хочу не First, а Min, то как мне написать?
getMin $ foo ^. bar . to Min ?https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Fold.html#v:minimumOf
есть просто готовых функций
есть просто готовых функций
MK
https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Fold.html#v:minimumOf
есть просто готовых функций
есть просто готовых функций
О, норм, спасибо
MK
https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Fold.html#v:minimumOf
есть просто готовых функций
есть просто готовых функций
А зачем там кстати Endo в Endo?
MK
Подозреваю что внешний вью можно на коерс заменить
MK
Видимо
foldOf @! Sum будет работатьMK
А может и нет
MK
о ну выходит ровно то же что и во всех этих sumOf, только обобщенно до коерсибл
Вроде в minimumOf что-то более другое
MK
а че где этот
@!Погрепай в чатике, изобретение Вершилова
MK
Недавно проскакивало
к
Вроде в minimumOf что-то более другое
да там просто какие-то оптимизации
MK
Или там !@