Вопросы по теме 'type-level-computation'
Полиморфная функция внутри семейства типов
Я пытаюсь определить функцию внутри семейства типов, которая полиморфна фантомному типу самого GADT, определенного в семействе типов.
Мое определение семейства типов выглядит следующим образом:
class Channel t where
data Elem t a :: *...
194 просмотров
schedule
20.12.2023