Результаты поиска по запросу "singleton-type"
Использование идиоматического логического равенства (синглтоны)
Я хочу создать структуру данных для хранения элементов, помеченных на уровне типа с помощью Symbol. Это:
Не удается доказать, что одноэлементные типы являются одноэлементными типами при создании экземпляра класса типов
Предположим, у меня есть класс типов, который доказывает, что все типы в Shapeless coproduct являются одноэлементными типами:
для равенства. Это также, вероятно, будет более эффективным, но у меня нет времени, чтобы объяснить, почему.
аюсь написать функцию репликации для списка с индексом длины, используя механизм изGHC.TypeLits [https://hackage.haskell.org/package/base-4.11.0.0/docs/GHC-TypeLits.html], одиночек [https://hackage.haskell.org/package/singletons-2.4.1], а ...