AV
что тут правильно ставить и главное, как наработать интуицию?
Size: a a a
2020 May 10
KV
Вроде же не бывает в хаскелле реально постфиксных операторов, есть только секция, где оператор оказывается справа
KV
Т. е. можно добавить фиктивный аргумент типа ()
KV
А, не, не получится
KV
Получится только если применять ко всему тому, что слева. Это не то, но вдруг получится сделать так, чтобы можно было
KV
И секции без скобочек не написать...
KV
А, есть же расширение PostfixOperators!
KV
Которое всё равно не работает без скобок, но хоть позволяет избавиться от лишнего аргумента
AV
@Ordinary_man я ещё круче сделал:
simpleStatement которое автоматом выводит encoder, но только в том случае, если каждый из типов передаваемых в параметре разворачивается в 1 параметр
simpleStatement которое автоматом выводит encoder, но только в том случае, если каждый из типов передаваемых в параметре разворачивается в 1 параметр
AV
И их типы не меняются
AV
Правда в opensource либу пока не положил
YS
Пробую понять хД
AV
simpleStatement
:: forall (p::[*]) a b . (AsParams p a, UnnestSimple a ~ p)
=> BS.ByteString -> HD.Result b -> Bool -> HS.Statement a bYS
orderFilesCreate ::У меня типа такого сейчас
MonadDatabase m =>
(Id StaticFile, Id Order) ->
m ()
orderFilesCreate =
getDefaultSession sql withoutResult
where
sql =
[r|
insert into api.order_files (file_id, order_id)
values ($1, $2);
|]
AV
UnnestSimple закрытое семейство, которое разворачивает туплю в список на типах
AV
type family UnnestSimple a where
UnnestSimple (a,b) = '[a,b]
UnnestSimple (a,b,c) = '[a,b,c]
UnnestSimple (a,b,c,d) = '[a,b,c,d]
UnnestSimple (a,b,c,d,e) = '[a,b,c,d,e]
UnnestSimple a = '[a]
UnnestSimple (a,b) = '[a,b]
UnnestSimple (a,b,c) = '[a,b,c]
UnnestSimple (a,b,c,d) = '[a,b,c,d]
UnnestSimple (a,b,c,d,e) = '[a,b,c,d,e]
UnnestSimple a = '[a]
AV
src/Cheops/Model/Contest.hs:750:10: error:
• No instance for (HE.AsValue Contest)
arising from a use of ‘HS.simpleStatement’
• In the expression: HS.simpleStatement sql decoder True
неожиданная ошибка если не сходится
• No instance for (HE.AsValue Contest)
arising from a use of ‘HS.simpleStatement’
• In the expression: HS.simpleStatement sql decoder True
неожиданная ошибка если не сходится
AV
Следующий шаг что-то сделать с hasql-th
AV
чтобы он не умничал, а тупо делал из Tagged (input,output) ByteString
AV
Но мне уже нравится, везде, где случаи тривиальные не нужно писать лишнего, а где нетривиальные - писать обязательно