AV
Для моноида тоже самое
{-# LANGUAGE DerivingVia #-}
import Data.Semigroup.Generic
data Pair a = MkPair a a
deriving (Semigroup, Monoid) via (GenericSemigroupMonoid (Pair a))Size: a a a
2020 December 14
AV
AV
Вопрос, вот есть в апи метод
Но предположим, что реализация позволяет батчить запрос, и можно бы было написать:
resolveFooId :: Foo -> IO (Either ResolveError FooId), если нужно зарезолвить много, то можно написать partitionEithers <$> traverse resolveFooId foos, оно зарезолвит всё.Но предположим, что реализация позволяет батчить запрос, и можно бы было написать:
resolveFooIds :: [Foo] -> IO [Either ResolveError FooId] вот можно ли какой-то магией превратить первое во второе для тех реализаций, которые это умеют?AV
Вариант написать API принимающий список или traversable какой принимается, но мало-ли есть что интереснее
AV
Вариант написать rule не принимается
KV
Вопрос, вот есть в апи метод
Но предположим, что реализация позволяет батчить запрос, и можно бы было написать:
resolveFooId :: Foo -> IO (Either ResolveError FooId), если нужно зарезолвить много, то можно написать partitionEithers <$> traverse resolveFooId foos, оно зарезолвит всё.Но предположим, что реализация позволяет батчить запрос, и можно бы было написать:
resolveFooIds :: [Foo] -> IO [Either ResolveError FooId] вот можно ли какой-то магией превратить первое во второе для тех реализаций, которые это умеют?Интерпретировать дсль!
KV
Ну т. е. изначально на нём и писать
AV
Тоже не принимается
KV
Взять готовый Haxl
LO
Бери haxl
VD
Обмажутся своими дслями и интерпретируют друг друга в host language
AV
haxl сумеет?
KV
haxl сумеет?
Это его основная задача по-моему
LO
Но оверхед будет, конечно
AV
А где почитать как конкретно это сделать можно?
KV
А где почитать как конкретно это сделать можно?
AV
Т.е. брать я его сейчас точно не буду, но если он эту задачу решает, то интересно
LO
Т.е. брать я его сейчас точно не буду, но если он эту задачу решает, то интересно
Ну там фри монады