Вопрос. Происходит странное. Не делаю инстанс - говорит не могу

Question

Вопрос. Происходит странное. Не делаю инстанс - говорит не могу

найти инстанс. Делаю - находит сразу три. Как это?

Вот ошибка с тремя:

• Overlapping instances for Submap
(FieldsTypesMap a) (FieldsTypesMap a :++ FieldsTypesMap b)
arising from a use of ‘submap’
Matching instances:
instance (x ~ (a :++ b)) => Submap a x
-- Defined at src/Servant/Record.hs:17:10
...plus two instances involving out-of-scope types
instance [overlap ok] [safe] Submap s t => Submap (x : s) (x : t)
-- Defined in ‘Data.Type.Map’
instance [overlappable] [safe] Submap s t => Submap s (x : t)
-- Defined in ‘Data.Type.Map’
(The choice depends on the instantiation of ‘a, b’
and the result of evaluating ‘FieldsTypesMap, FieldsTypesMap, :++’
To pick the first instance above, use IncoherentInstances
when compiling the other instance declarations)

Мой инстанс использует хак с x ~ (a :++ b)) из-за этой ошибки https://stackoverflow.com/questions/45360959/illegal-type-synonym-family-application-in-instance-with-functional-dependency

#haskell #programming #russian

0

29.08.2022

5 ответов

11 просмотров

isnullxbh

Alexander Vershilov
Когда матчатся инстансы, то для выбора смотрится т...

Извините, а что значит "по Олегу"?

0

29.08.2022

Alexander Vershilov

isnullxbh
Извините, а что значит "по Олегу"?

Олег Киселев, достаточно известный исследователь, у которого много статей, любитель FunctionDependencies, автор многих идей, но именно на уровне идей и proof of concept. Про него футболка-мем Oleg has already invented that

0

29.08.2022

isnullxbh

Alexander Vershilov
Олег Киселев, достаточно известный исследователь, ...

Спасибо)

0

29.08.2022

Гриша Герасев Автор вопроса

Alexander Vershilov
Когда матчатся инстансы, то для выбора смотрится т...

Звучит очень печально.

0

29.08.2022

Alexander Vershilov · Accepted Answer

Когда матчатся инстансы, то для выбора смотрится только на голову (head) правая часть от =>, а после выбора проверяется, что левая подходит и fallback не происходит. Чтобы это обойти есть два пути: 1. По Олегу, добавлять ещё один параметр для матчинга (иногда помогает вспомогательный класс) 2. Overlapping instances, но там надо внимательно смотреть в каких случаях компилятор может выбрать и кажется тут не такой

169 похожих чатов

Вопрос. Происходит странное. Не делаю инстанс - говорит не могу

5 ответов

Похожие вопросы