к
Size: a a a
2021 January 30
MK
Ну так себе удобный конечно
YS
Надо бы sop поковырять
ЗП
syb уже не в почете?
ЗП
в целом довольно удобный апи, и сумма и произведение связаны общими инстансами
generic-sop?
к
generic-sop?
+
к
https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP-Classes.html
вот тут апи общее описано в основном
вот тут апи общее описано в основном
к
У меня есть набор парсеров, надо было собрать парсеры разных типов в этот список, а вернуть парсер списка этих типов
ну это одна фунция из сопа как раз
https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP-Classes.html#v:hsequence
hsequence :: NP f xs -> f (NP I xs)
NP это произведения, f - функтор, xs - список типов
https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP-Classes.html#v:hsequence
hsequence :: NP f xs -> f (NP I xs)
NP это произведения, f - функтор, xs - список типов
DB
и все типчики даже выведутся сами?)
DB
ну
Parser A, Parser BDB
Блин, попробовать что ли
DB
Выглядит, как магия
к
в основном главный профит sop имхо не в конкретном апи конкретных типов, а в том что он общий и для сумм, и для произведений
data A = A
data B = B
a :: NP Parser [A, B]
a = pure A :* pure B :* Nil
c :: NS Parser [A, B]
c = S (Z (pure B))
b :: Parser (NP I [A, B])
b = hsequence a
d :: Parser (NS I [A, B])
d = hsequence c
data A = A
data B = B
a :: NP Parser [A, B]
a = pure A :* pure B :* Nil
c :: NS Parser [A, B]
c = S (Z (pure B))
b :: Parser (NP I [A, B])
b = hsequence a
d :: Parser (NS I [A, B])
d = hsequence c
A
https://www.stackage.org/haddock/lts-17.0/http-client-0.6.4.1/Network-HTTP-Client.html#v:managerIdleConnectionCount я сейчас на такое натолкнулся
в моём случае не помогло
A
в моём случае не помогло
- https://github.com/snoyberg/http-client/issues/374 (иша со стороны клиента)
- https://github.com/haskell/network/issues/438 (иша со стороны сервера и network)
- https://github.com/haskell/network/issues/438 (иша со стороны сервера и network)