к
Size: a a a
2020 June 24
AV
Ладно, эта та часть проекта, которую я хочу вечно перепилить, но пока оно просто работает и можно не трогать
AV
Мне вот что интересно, а я ведь могу так же как HasField в линзах сделать доступ по номерам?
AV
И можно ли номера заставить работать как через оверлоадед labels? Или описания типов?
AV
что-то кажется я какого-то монстра сейчас создам, похоже это лишь теоритический вопрос
АХ
Мне вот что интересно, а я ведь могу так же как HasField в линзах сделать доступ по номерам?
AV
по порядку элемента как в туплях
AV
Не хочу vector-fixed-hetero 🙁
AV
Я не один в проекте
АХ
В линзах есть _1
AV
Ну у меня есть WithFields
AV
и WithField, для них нету линзов
AV
Нужно понять какой интерфейс написать, обычный или через generic как-то
АХ
Не хочу vector-fixed-hetero 🙁
Разумное желание. Пакет же больше людей пугать
A
Или если проект побочный for run без особых требований и дедлайнов
+++
АХ
>data Foo = Foo Int Char deriving (Show,Generic)
> instance Field1 Foo Foo Int Int
> Foo 1 'c' ^. _1
1
AV
>data Foo = Foo Int Char deriving (Show,Generic)
> instance Field1 Foo Foo Int Int
> Foo 1 'c' ^. _1
1
А сквозные инстансы?
AV
WithFields a b= WithFields a b
и если для a или b есть линза, то чтобы для WithFields была?
и если для a или b есть линза, то чтобы для WithFields была?