Вероятно, связано с Что в объективе я должен использовать для создания геттера только для чтения по индексу?
Я ищу вариант функция линзы, которая позволяет мне создать Getter s a из s -> a. Существует ли что-то подобное?
Как преобразовать функцию в геттер линзы?
Ответы (1)
Вы ищете to, который "создает (с сохранением индекса) Getter из произвольной функции Haskell".
person
duplode
schedule
03.08.2018
