ЗП
Я придумал с data-типами другой способ, без тайпкласов, вроде подходит
Какой?
Size: a a a
2020 June 15
AK
Теперь есть вопрос про линзы и призмы, как их компоузить
Есть линза, которая указывает на
Map в другой структуре, как правильно сделать призму, которая по ключу будет указывать на элемент по ключу?_getMap <<< at key работает, но создаёт линзу, а не призмуЗП
Есть линза, которая указывает на
Map в другой структуре, как правильно сделать призму, которая по ключу будет указывать на элемент по ключу?_getMap <<< at key работает, но создаёт линзу, а не призмуЛинзы и призмы можно же компоузить
ЗП
Я делал призму, домой прийду - скину
AK
Линзы и призмы можно же компоузить
Вот да, не пойму, почему не выходит
AK
Я делал призму, домой прийду - скину
Спасибо!
ЗП
А что ты вообще хочешь?
AK
Сделал дата-тип
и теперь могу хранить
Component action model view = Component (UI action model (view action))и теперь могу хранить
Component Action Model view с полиморфизмом по view, где может быть Html, Svg и т.п.ЗП
Так чем тебе линза+призма не подходит?
AK
Так чем тебе линза+призма не подходит?
Подходит очень даже, говорит, что не сходятся типы
ЗП
Мб какой-то pre надо
AK
_getMap :: Lens' Whole (Key /-> Item)_getItem :: Key -> Prism' Whole Item_getItem key = _getMap <<< at keyAK
_getMap :: Lens' Whole (Key /-> Item)_getItem :: Key -> Prism' Whole Item_getItem key = _getMap <<< at keyВот, компилятор говорит, что не призма получается, а
Lens' Whole (Maybe Item)ЗП
_getMap :: Lens' Whole (Key /-> Item)_getItem :: Key -> Prism' Whole Item_getItem key = _getMap <<< at keyПо моему это траверсал
AK
Хм, может такое быть, да
ЗП
_getMap :: Lens' Whole (Key /-> Item)_getItem :: Key -> Prism' Whole Item_getItem key = _getMap <<< at keyКак выглядит getMap?
AK
_getMap :: Lens' Whole (Key /-> Item)_getItem :: Key -> Prism' Whole Item_getItem key = _getMap <<< at keyСорян,
/-> собственный оператор для Map, типа как /\ для TupleAK
Как выглядит getMap?
_registry :: forall d c n. Lens' (Network d c n) (UUID.Tagged /-> Entity d c n)
_registry =
lens getter setter
where
getter (Network { registry }) = registry
setter (Network nwstate) val =
Network nwstate { registry = val }
ЗП
_registry :: forall d c n. Lens' (Network d c n) (UUID.Tagged /-> Entity d c n)
_registry =
lens getter setter
where
getter (Network { registry }) = registry
setter (Network nwstate) val =
Network nwstate { registry = val }
Можно сделать через _Newtype + prop
AK
тогда вроде надо
Newtype дерайвить, всё время ленюсь