к
{-# LANGUAGE PatternSynonyms #-}
module X (pattern Z) where
data Y = Z Int
Size: a a a
2020 December 06
ЗП
а ну еще можно призму экспортировать конечно, будет тоже сразу и матчинг и конструктинг
А оправдано ли тащить линзы?)
к
А оправдано ли тащить линзы?)
а если они уже есть?
В моих проектах призма будет удобнее паттерна в большинстве случаев
В моих проектах призма будет удобнее паттерна в большинстве случаев
AA
Какой-нибудь Hope или Миранда, вставка в дерево. Что в нём странного?
это ЭСЭМЕЛ
ЗП
Тогда хаскус и генерить открытые тип суммы как призмы
AA
а имплициты тут не сработают?
AA
ну это типа как призму в контейнере не сохранить, для этого ж есть воркараунд в lens
