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