[
Size: a a a
2021 July 13
[
lp должен быть рекордом Messages, но сервант стёр его, это просто кусок апишки
ЗП
[
Вроде наш кейс, но я не уверен
[
[
@jakowlew попробуй
JJ
Неа, не собирается
• Couldn't match type: Servant.API.Generic.GToServant
(Rep (routes0 mode0))
with: Int -> Int -> Maybe Int -> ClientM (VkResponse Server)
Expected: ToServant routes0 mode0
Actual: Int -> Int -> Maybe Int -> ClientM (VkResponse Server)
The type variables ‘routes0’, ‘mode0’ are ambiguous
• In the first argument of ‘fromServant’, namely ‘lp’
In the first argument of ‘(^.)’, namely ‘(fromServant lp)’
In the expression: (fromServant lp) ^. #longPollServer
|
59 | res <- runQuery "api.vk.com" "method" $ ( (fromServant lp) ^. #longPollServer ) 0 3 Nothing
|
ЗП
тайпаппликейшн или вынеси в отдельную функцию и напиши сигнатуру
[
оно не очень работает
[
чисто теоретически у нас вот такой тип
[
но если мы туда отправляем нужную штуку, всё ломается
[
• Couldn't match type: a2 :- VkMessagesApi
with: Int -> Int -> Maybe Int -> ClientM (VkResponse Server)
Expected: ToServant Methods a2
Actual: Int -> Int -> Maybe Int -> ClientM (VkResponse Server)
AP
Собрать подправленную версию программы, разве что