K
bimap :: (a->b) -> (c->d) -> (a, c) ?import Data.Bifunctor
import Control.Monad
both :: (a -> b) -> (a, a) -> (b, b)
both = join bimap
Size: a a a
2021 February 26
h
Тогда увы, придется использовать обычный стандартный bimap?
ага, но если название функции длинное, то писать
bimap longFuncName longFuncName как-то не очень :)к
ага, но если название функции длинное, то писать
bimap longFuncName longFuncName как-то не очень :)let f = longFuncName in bimap f f
h
let f = longFuncName in bimap f f
так и делал раньше, но читабельность хуже чем от просто bimapBoth f
YS
Тут ещё стрелки предложили
YS
Хотя имя тоже два раза писать
YS
Я обычно стараюсь держать что-то типа локальной прелюдии на проект
YS
И там писать что нужно
h
Тут ещё стрелки предложили
а их кстати кто-то вообще использует сейчас? встречаю их только когда кто-то пытается объяснить профунктор. а в коде, то как-то не попадались
YS
Я видел пару раз
KV
Там много полезных штук типа ***, &&&, first, second
KV
>>> и <<< ещё, только не бейте
С
>>> и <<< ещё, только не бейте
давно пора флип точку добавить в прелюдию
AA
В стд есть что-то вида
И почему
(a -> b) -> (a, a) -> (b, b)?И почему
f <$> (a, b) применяет функцию именно ко 2-му элементу?> (1,2) & both %~ even
(False,True)
lens - де факто стд
G
> (1,2) & both %~ even
(False,True)
lens - де факто стд
> :m + Control.Lens
> Could not find module 'Contro.Lens'
> Could not find module 'Contro.Lens'
KV
Сергей
давно пора флип точку добавить в прелюдию
+
AA
ну про строки и массивы так же будет написано, это ж не значит что вектор и текст не де факто стд
AA
Сергей
давно пора флип точку добавить в прелюдию
зачем?
С
удобно иногда