Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом данные-виды
0
голосов
1
ответ
Разве вы не можете использовать DataKinds внутри связанных типов данных?
У меня есть следующий тип класса class BoolHolding h where data MyBool b :: 'Bool Тем не менее...
Anders Miltner
/
28 апреля 2018
Haskell
класс типов
тип семьи
данные-виды
Страница:
« сюда
1
2
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...