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

is _Null - ok

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

is (key "previous" . _Null) не ок

20:36пожаловаться #2

На типы даже лень смотреть

20:36пожаловаться #3

expected: APrism Value t0 () ()
actual:Control.Lens.Internal.Prism.Market () () () (Identity ()) -> t1 -> f0 t1

20:36пожаловаться #4

Maxim Koltsov in Haskell

Рынок

20:36пожаловаться #5

Alexander Vershilov

is (key "previous" . _Null) не ок

key - не призма

20:37пожаловаться #6

type APrism s t a b = Market a b a (Identity b) -> Market a b s (Identity t)

20:37пожаловаться #7

как заделать или обойти?

20:37пожаловаться #8

я могу конечно сделать ^? key "previous. to (is (_Null))

20:38пожаловаться #9

но кажется это не то, как оно должно работать

20:38пожаловаться #10

или

pre (key "previous" . _Null . to (\_ -> True)) . non False

20:38пожаловаться #11

а вот has тебе подойдет больше

20:39пожаловаться #12

о, да с has работает

20:40пожаловаться #13

ну разница понятная, has проверяет, есть ли хотя бы один таргет у траверсала

а is проверяет, подходит ли значение строго под призму

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

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

20:42пожаловаться #15

т.е. надо писать
is (key "object_attributes" . key "action" . only "open") x ?

20:45пожаловаться #16

(не пробовал собрать перед вопросом)

20:45пожаловаться #17

has (key "object_attributes" . key "action" . only "open") x

20:46пожаловаться #18

точно

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

ну вот и все