Size: a a a

2020 June 23

R

Roman in Haskell
Artyom Kazak
Вот тут ты можешь вынести TaskExtra в констрейнт
^ @qnikst вот это и надо сделать, иначе инференс ломается (я так себе отлично в ногу выстрелил один раз)
источник

AV

Alexander Vershilov in Haskell
instance TaskExtra ~e => HasField "extra" SmtTask SmtTask e e ?
источник

R

Roman in Haskell
Alexander Vershilov
instance TaskExtra ~e => HasField "extra" SmtTask SmtTask e e ?
Йеп
источник

AV

Alexander Vershilov in Haskell
чот всё хуже стало
источник

R

Roman in Haskell
Должно стать лучше
источник

R

Roman in Haskell
Или во всяком случае не хуже
источник

AV

Alexander Vershilov in Haskell
Не выводится то, что выводилось
источник

AV

Alexander Vershilov in Haskell
или так не везде делать стоит?
Overlapping instances for Data.Generics.Product.Fields.HasField
                                 "solution" SmtTask SmtTask a0 (SingleOrMany TaskSolution)
источник

R

Roman in Haskell
А, хм, я не учел, что есть еще оверлаппинг инстансы
источник

R

Roman in Haskell
С ними и правда наверное может стать хуже
источник

R

Roman in Haskell
Хотя не очень понятно почему
источник

AV

Alexander Vershilov in Haskell
тут кончно есть Symbol по котрому кажется должно всё разруливаться
источник

AV

Alexander Vershilov in Haskell
Ладно, я доделаю всё что нужно, потом поиграюсь
источник

R

Roman in Haskell
Alexander Vershilov
тут кончно есть Symbol по котрому кажется должно всё разруливаться
Вот да
источник

AV

Alexander Vershilov in Haskell
очень бесит убитый инференс
источник

AV

Alexander Vershilov in Haskell
щас буду думать можно ли что сделать
источник

AV

Alexander Vershilov in Haskell
Alexander Vershilov
instance TaskExtra ~e => HasField "extra" SmtTask SmtTask e e ?
@effectfully тут на оба надо выносить или только самый правый?
источник

AV

Alexander Vershilov in Haskell
только с последним - взлетело
источник

AV

Alexander Vershilov in Haskell
И в HasField' ок
источник

AV

Alexander Vershilov in Haskell
С ошибками всё равно не идеально
источник