Телеграмм чат группы haskellru страница 14621

Alexander Vershilov

liftIO $ runResourceT

Хм. Что-то я не допёр до такого и сделал

bracket createInternalState closeInternalState $ \st -> runInternalState doStuff st

Щас попробую :)

08:08пожаловаться #1

Блин, как коллеги любят RecordWildCards использовать :(

08:12пожаловаться #2

А вот ещё, подскажите...
Servant документация говорит, что вот эти две записи эквивалентны и можно группировать:

type FactoringAPI =
  "x" :> Capture "x" Int :>
        (    Capture "y" Int :> Get '[JSON] Int
        :<|>                    Get '[JSON] Int
        )

type FactoringAPI' =
  "x" :> Capture "x" Int :> Capture "y" Int :> Get '[JSON] Int :<|>
  "x" :> Capture "y" Int :> Get '[JSON] Int

08:29пожаловаться #3

На деле же в первом случае я получаю ошибку:

• Couldn't match type ‘(Int -> Int -> ReaderT Bool Handler Int)
                       :<|> (Int -> ReaderT Bool Handler Int)’
                 with ‘Int
                       -> (Int -> ReaderT Bool Handler Int) :<|> ReaderT Bool Handler Int’

08:30пожаловаться #4

Это бага в документации или я что-то делаю не так?

08:31пожаловаться #5

Сервер вот так объявляю (в первом случае ошибка, в втором - работает)

a :: Int -> Int -> ReaderT Bool Handler Int
a = undefined

b :: Int -> ReaderT Bool Handler Int
b = undefined

server2 :: ServerT FactoringAPI Res
server2 = a :<|> b

08:32пожаловаться #6

Эквивлентно-то эквивалентно, но типы разные

08:44пожаловаться #7

Haskell’s servant library needs only a modest introduction – it’s an attempt to stuff the description of an API into the type system.Using compile-time type-...

Это известная проблема: https://www.parsonsmatt.org/2018/03/14/servant_route_smooshing.html

www.parsonsmatt.org

Servant Route Smooshing

08:48пожаловаться #8

Спасибо!

08:49пожаловаться #9

Из доков:
If you want to avoid the “nested types” and the need to manually dispatch the arguments (like x above) to the different request handlers, and would just like to be able to declare the API type as above but pretending that the Capture is not factored out, that every combinator is “distributed” (i.e that all endpoints are specified like FactoringAPI' above), then you should look at flatten from the servant-flatten package.

08:49пожаловаться #10

Ещё вроде бы при использовании Servant.API.Generic такой проблемы не возникает

08:51пожаловаться #11

На самом деле так даже лучше... в моём случае :)