A
хм, пробовал. но вестимо не правильно, я хочу следующей линзой промапить мейби, если он джаст
Size: a a a
2020 November 20
A
в конце нужно записать, да
A
значение возможно отсутвует
A
запись, в возможно присутствующий элемент
MK
если у тебя там значение возможно отсутствует, то ты не можешь туда записать линзой же
MK
той что lens2
MK
если элемента нет, и ничего тогда делать не нужно, то
m & at key . _Just . lens .~ a
или
m & ix key . lens .~ a
m & at key . _Just . lens .~ a
или
m & ix key . lens .~ a
+
G
Добрый день. Вопрос про ReaderT и метод asks
Код для примера:
Первый вариант работает, а второй не компилится, компилятор говорит ошибку.
Я правильно понял, что второй вариант в принципе невозможен и нужно
явно выделять отдельную переменную, так как
Код для примера:
data Options = Options { field :: Int }
main :: IO ()
main = runReaderT pseudoMain Options { field = 1 }
pseudoMain :: ReaderT Options IO ()
pseudoMain = do
-- Variant 1 (works)
fieldVal <- asks field
liftIO $ print fieldVal
-- Variant 2 (doesn't work)
liftIO $ print $ asks fieldПервый вариант работает, а второй не компилится, компилятор говорит ошибку.
Я правильно понял, что второй вариант в принципе невозможен и нужно
явно выделять отдельную переменную, так как
asks fieldимеет тип
IO Intи нужно его откуда достать?
MK
извечный вопрос, как достать из монады