s, у которого есть Enum.
А тут мне резко понадобилось передавать тип, у которого список значений определяется в рантайме, как это сделать наиболее адекватно?
https://hackage.haskell.org/package/reflection-2.1.6/docs/Data-Reflection.html#t:ReifiedMonoid просто по-другому нужен контекст
В смысле reified enum сделать?
ну этот reified не является самим тайплевел листом в своём понимании, просто небольшая обходка при unsafeCoerce
Ну мне typelevel список и не нужен
Кажется аналогичную штуку я могу сделать, оно даже сработает и похоже неплохо
Ну да, проксю можешь достать из s в Reifies s a инстансе если обернёшь свой енум в ньютайп который сохраняет проксю λ> reify ([1,2,3] :: [Int]) $ \l -> foldr (+) 0 (reflect l) 6
Обсуждают сегодня