Я какое-то время пользуюсь data-has, но оно ужасно негибкое местами,

Question

Я какое-то время пользуюсь data-has, но оно ужасно негибкое местами,

и я хочу заменить его на что-нибудь. Нужно что-то c вот такими фичами
f :: (Has' A env, Has' B env) => env -> a
f e = g (e `add` C)

g :: (Has' A env, Has' B env, Has' C env) => env -> a
h :: (Has' A env, Has' C env) => env -> a
h e = f (map' c2b)
where
c2bc :: C -> B
2b = ...
я могу наколхозить что-то типа гетерогенного списка, у которого будет Has’ на каждый элемент, но как-то не хочется велосипедить. Есть тут разумные варианты? can-i-haz я смотрел, но оно немного не про то

#haskell #programming #russian

0

26.03.2020