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

и делать ((=="success") . status) ?

19:26пожаловаться #1

"success"

19:26пожаловаться #2

он моноид, но в принципе

19:27пожаловаться #3

а так x ^. key "status" . _String == "success"

19:27пожаловаться #4

во, что-то такое

19:27пожаловаться #5

жутко

19:27пожаловаться #6

можно и без String

19:27пожаловаться #7

у аесона есть isstring инстанс

19:28пожаловаться #8

а, моноида не будет

19:28пожаловаться #9

вообще я удивлен что нет призмы вида

eq :: Eq a => a -> Prism a b a b

19:29пожаловаться #10

let hashes = take 2 $ nub $ r ^.. Wreq.responseBody
     . _Array

. each
     . filtered (\x -> x ^. key "status" . _String == "success")
     . filtered (\x -> x ^. key "deployable" . key "name" . _String == env_name)

. key "sha" . _String

19:29пожаловаться #11

как-то так себе выглядит

19:30пожаловаться #12

тогда было бы

filteredBy (key "status" . eq "success")

19:30пожаловаться #13

вот такую призму и советую написать

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

кажется, что что-то не то делаю

19:30пожаловаться #15

Вообще надо честно типчики сделать, тогда бы проще было

19:30пожаловаться #16

только не eq а что-нибудь "в точности"

19:30пожаловаться #17

Если не запилю типчики, то придётся

19:32пожаловаться #18

precisely :: Eq a => a -> Prism' a a
precisely x = prism' (const x) (\y -> if x == y then Just x else Nothing)

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

и такой призмы я действительно не нашел, а мне бы она очень часто помогала бы упросить такие фильтереды