Вопросы по теме 'constraint-kinds'

Ограниченный неоднородный список
Я искал Hackage и не смог найти ничего похожего на следующее, но это кажется довольно простым и полезным. Есть ли библиотека, которая содержит тип данных? data HList c where (:-) :: c a => a -> HList c Nil :: HList c Все HLists,...
319 просмотров
schedule 27.08.2022