Телеграмм чат группы haskellru страница 14838

00:44пожаловаться #1

кана in Haskell

я уже столько раз ответил

00:44пожаловаться #2

Oleg Orlov in Haskell

101-ый пожалуйста :)

00:44пожаловаться #3

Oleg Orlov in Haskell

а "столько", мне показалось "сто"

00:44пожаловаться #4

если это рекурсивное то думаю космосом каким-то :D

нет, он не переходит к другому типу сам

00:44пожаловаться #5

Oleg Orlov in Haskell

спать надо уже

00:44пожаловаться #6

ЗП

Jerzy Syrowiecki

нет, он не переходит к другому типу сам

как это не переходит?

00:45пожаловаться #7

как это не переходит?

я не вижу, как получить Traversal' s a из космосов

00:52пожаловаться #8

ЗП

Jerzy Syrowiecki

я не вижу, как получить Traversal' s a из космосов

тогда deep

00:53пожаловаться #9

тогда deep

у меня нет аргумента для deep

00:53пожаловаться #10

короче. types должен работать. но не работает

00:54пожаловаться #11

ЗП

ты хочешь список получить?

00:54пожаловаться #12

нет, изменить все

00:54пожаловаться #13

ЗП

тогда мб rewrite/rewriteOf/rewriteOn/...

00:55пожаловаться #14

ЗП

rewrite go
go MyA = Just ...
go _ = Nothing

00:55пожаловаться #15

тогда мб rewrite/rewriteOf/rewriteOn/...

ну нет, они требуют на вход оптику, про которую я и спрашиваю

00:56пожаловаться #16

мне и over сгодится, надо только перейти к другому типу

00:57пожаловаться #17

AST трансформирую

00:57пожаловаться #18

ЗП

Jerzy Syrowiecki

мне и over сгодится, надо только перейти к другому типу

тогда это уже какие-то biplate

00:58пожаловаться #19

тогда это уже какие-то biplate

вот, а теперь без Data