SB
Size: a a a
2021 May 06
[
А (->) это траверсабл?
DB
зайди на hackage да посмотри
AF
Похоже на профунктор
С
это идея
DB
олд
[
Если бы мне было не лень, я бы так и сделал
MK
ты там был? три тыщи лет назад?
DB
тока запись к сожалению, я тогда ещё ехал на работу
MK
Data.Profunctor.Traversing:
подставляем стрелку:
traverse' :: Traversable f => p a b -> p (f a) (f b)подставляем стрелку:
Traversable f => (a -> b) -> (f a -> f b)MK
получили fmap
[
Я вот тоже так думаю
DB
соседний чат это какой?
MK
инстанс кстати тоже есть, см. пакет profunctors
[
Хм🤔
С
ты мне напомнил про запись и у меня уже уши заложило
MK
нет, вместо
p