Вопросы с тегом количественно-ограничения

4 голосов

1 ответ

Почему использование QuantifiedConstraints для указания подкласса класса типов также требует наличия экземпляра подкласса?

Я играю с многожильным кодированием без тегов Free {-# LANGUAGE PolyKinds #-} {-# LANGUAGE...

rampion / 13 июня 2019

0 голосов

1 ответ

Как дать GHC подсказку для построения QuantifiedConstraints?

Если у меня есть метод: proveBar :: forall x . SingI x => Dict (Barable (Foo x)) proveBar = ......

dspyz / 27 декабря 2018

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...