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

Size: a a a

Haskell

2020 May 11

что-то такое?

filtered :: (Choice p, Applicative f) => (a -> Bool) -> Optic' p f a a
filtered p = dimap (\x -> if p x then Right x else Left x) (either pure id) . right'

lteredP p = dimap (\x -> case x ^? p of Just x -> Right x else Left x) (either pure id) . right'

или какой matching?

источник

14:45пожаловаться #1

A64m AL256m qn<co... in Haskell

Alexander Vershilov

Теперь вопрос, а как с линзами сделать аналог catMaybes

> [Just 1, Nothing, Just 3] ^.. each . _Just
[1,3]

источник

14:45пожаловаться #2

ЗП

Зигохистоморфный Пре... in Haskell

filteredBy _Just

источник

14:45пожаловаться #3

Alexander Vershilov in Haskell

о!

источник

14:45пожаловаться #4

ЗП

Зигохистоморфный Пре... in Haskell

вроде тоже

источник

14:45пожаловаться #5

Alexander Vershilov in Haskell

Но оно только фильтрует

источник

14:45пожаловаться #6

Alexander Vershilov in Haskell

но норм each .to(f) . _Just ?

источник

14:46пожаловаться #7

ЗП

Зигохистоморфный Пре... in Haskell

A64m AL256m qn I0

> [Just 1, Nothing, Just 3] ^.. each . _Just
[1,3]

можно же и ^.. folded . _Just

источник

14:46пожаловаться #8

Dreamerinnoise in Haskell

в первом варианте меньше печатать

источник

14:47пожаловаться #9

Alexander Vershilov in Haskell

блин мне не то нужно было 🙁

источник

14:48пожаловаться #10

Alexander Vershilov in Haskell

Мне это в foldl сделать надо

источник

14:48пожаловаться #11

Alexander Vershilov in Haskell

а там premap и prefilter

источник

14:49пожаловаться #12

Alexander Vershilov in Haskell

ну напишу свой комбинатор

источник

14:50пожаловаться #13

A64m AL256m qn<co... in Haskell

Зигохистоморфный Препроморфизм

можно же и ^.. folded . _Just

тут про вектора вроде речь была, фолдед для анбоксед вектора не сработает

источник

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

Ryner :: () -> IO... in Haskell

Инстансы CookieSettings для Swagger чтобы servant-auth использовать еще не написали?

источник

14:52пожаловаться #15

Ryner :: () -> IO... in Haskell

Вот этот вот CookieSettings

https://hackage.haskell.org/package/servant-auth-server-0.4.5.1/docs/Servant-Auth-Server.html#t:CookieSettings

источник

14:52пожаловаться #16

A64m AL256m qn<co... in Haskell

Alexander Vershilov

Мне это в foldl сделать надо

просто foldOver вместо ^..

источник

14:53пожаловаться #17

Alexander Vershilov in Haskell

(Foldl.foldOver (each._3)
          . ((,) <$> preMapMaybe (fmap fromIntegral) Foldl.mean
                 <*> Foldl.maximum))

источник

14:54пожаловаться #18

Alexander Vershilov in Haskell

сейчас так

источник

14:54пожаловаться #19

F U in Haskell

Подскажите, пожалуйста, насколько сложна реализация такой программы на хаскеле?
1. Поиск пути в лабиринте
Лабиринт представлен в виде текстового файла. Позиция символа (0,0) – вход в лабиринт, любой символ – стена. Проверить, есть ли выход из лабиринта и указать его координаты, если есть.

источник

14:56пожаловаться #20