IK
И даже если будет легко!
Yan, приветствую. Создал statement :: Statement TertiaryUser TertiaryUser, надо подвести это под servant функцию TertiaryUser -> Handler TertiaryUser. Есть какие то методы для реализации этого великолепия?
Size: a a a
2021 February 23
MK
Просто замечательный
Нет
к
Yan, приветствую. Создал statement :: Statement TertiaryUser TertiaryUser, надо подвести это под servant функцию TertiaryUser -> Handler TertiaryUser. Есть какие то методы для реализации этого великолепия?
userStatement :: Statement TertiaryUser TertiaryUser
f :: TertiaryUser -> Handler TertiaryUser
f user = do
result <- liftIO $ Hasql.run (Hasql.statement userStatement)
case result of
Right value -> pure value
Left queryError -> throwM err500
это же тривиально пишется, ты как будто изучаешь хаскель с нуля через приложение на серванте
f :: TertiaryUser -> Handler TertiaryUser
f user = do
result <- liftIO $ Hasql.run (Hasql.statement userStatement)
case result of
Right value -> pure value
Left queryError -> throwM err500
это же тривиально пишется, ты как будто изучаешь хаскель с нуля через приложение на серванте
IK
userStatement :: Statement TertiaryUser TertiaryUser
f :: TertiaryUser -> Handler TertiaryUser
f user = do
result <- liftIO $ Hasql.run (Hasql.statement userStatement)
case result of
Right value -> pure value
Left queryError -> throwM err500
это же тривиально пишется, ты как будто изучаешь хаскель с нуля через приложение на серванте
f :: TertiaryUser -> Handler TertiaryUser
f user = do
result <- liftIO $ Hasql.run (Hasql.statement userStatement)
case result of
Right value -> pure value
Left queryError -> throwM err500
это же тривиально пишется, ты как будто изучаешь хаскель с нуля через приложение на серванте
о, run же есть, точно
IK
спасибо!
K
просто отвратительный
Я его использовал. Что в нем ужасного-то? Я считаю ужасным инстанс моноида для Data.Map, который не требует полугруппы от элементов.
MK
Я его использовал. Что в нем ужасного-то? Я считаю ужасным инстанс моноида для Data.Map, который не требует полугруппы от элементов.
ужасно то, что ты такого не ожидаешь
AA
ужасный инстанс
ПРОКЛЯТЫЕ ФУНКЦООНАЛЬЩИКИ ИСПОЛЬЗУЮТ ЭТИ ИХНИЕ ПРОКЛЯТЫЕ ФУНКЦЕИ
MK
ПРОКЛЯТЫЕ ФУНКЦООНАЛЬЩИКИ ИСПОЛЬЗУЮТ ЭТИ ИХНИЕ ПРОКЛЯТЫЕ ФУНКЦЕИ
ДА
NI
ПРОКЛЯТЫЕ ФУНКЦООНАЛЬЩИКИ ИСПОЛЬЗУЮТ ЭТИ ИХНИЕ ПРОКЛЯТЫЕ ФУНКЦЕИ
Ладно хоть не морфизмы.
MK
вот например реальный вопрос реального коллеги
MK
и потом комментарий "я бы предпочёл ошибку компиляции чем такое поведение"
MK
ну серьёзно, нахрена этот инстанс нужен-то?
MK
*цитата из парка юрского периода*
MK
ужасно скорее то, что такой инстанс можно случайно заиспользовать, а код скомпилируется
это как Monad ((->) a)
забыл где-то аргумент написать новый, и получаешь странные ошибки, думая что работаешь в M, а на самом деле в (a -> M b)
это как Monad ((->) a)
забыл где-то аргумент написать новый, и получаешь странные ошибки, думая что работаешь в M, а на самом деле в (a -> M b)
и это тоже