Size: a a a

2020 November 24

AV

Alexander Vershilov in Haskell
servant server API легко разбивать на куски всмылсе встраивать один handler в другой, а с клиентом так можно?
источник

AV

Alexander Vershilov in Haskell
хм, или наыиг мне не нужен servant-client и хватит http-conduit/client
источник

к

кана in Haskell
Alexander Vershilov
servant server API легко разбивать на куски всмылсе встраивать один handler в другой, а с клиентом так можно?
конечно, там же дерево клиентов генерируется
источник

к

кана in Haskell
а понял
источник

к

кана in Haskell
что-то странное хочешь вроде
источник

AV

Alexander Vershilov in Haskell
почему, я не хочу миллион вещей дублировать, грубо говоря я хочу:

data Api = Api 
 { _project :: "project" -> ProjectId -> Project.Api AsClient
 , ...
 }
источник

к

кана in Haskell
так как клиенты обратно серверу, то встраиваемость хендлеров в хендлеры должна выливаться в доставанию подклиента из клиента
источник

к

кана in Haskell
без generic-servant я думаю это можно сделат
источник

к

кана in Haskell
а с generic ну очень вряд ли
источник

к

кана in Haskell
а ну смотри, без генерик-серванта можно же сделать

type S = A :> (B :<|> C)
и ты сразу получаешь два каррированных клиента для b и с
источник

к

кана in Haskell
а для сервера сначала прогнать нормализацию схемы, чтобы удобно было описывать хендлеры
источник

IK

Ilya Kos in Haskell
кана
а ну смотри, без генерик-серванта можно же сделать

type S = A :> (B :<|> C)
и ты сразу получаешь два каррированных клиента для b и с
С Generic такое же можно
источник

к

кана in Haskell
а как это будет, подрекорды?
источник

к

кана in Haskell
я просто с генерик-сервантом не работал
источник

IK

Ilya Kos in Haskell
кана
а как это будет, подрекорды?
Да
источник

IK

Ilya Kos in Haskell
Ну я так делал по крайней мере
источник

IK

Ilya Kos in Haskell
Может как-то лучше можно
источник

к

кана in Haskell
вообще не представляю как генерик-сервант работает, как он отличает кастомные  элементы схемы от подрекордов
источник

IK

Ilya Kos in Haskell
кана
вообще не представляю как генерик-сервант работает, как он отличает кастомные  элементы схемы от подрекордов
А там чёт какую-то тайпыемили надо к подрекорлу применить по-моему
источник

IK

Ilya Kos in Haskell
Или чёт такое
источник