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

4 голосов

1 ответ

тип передачи для декодирования json в haskell

genuinequestion / 07 августа 2020

0 голосов

1 ответ

Экземпляр класса типов Ord для опции

user4035 / 07 августа 2020

1 голос

1 ответ

Импорт Cubical.Data.Nat прерывает isOfHLevel → isOfHLevelDep

Cactus / 05 августа 2020

0 голосов

1 ответ

Правильно ли это понимание: перегрузка черт и функций достигла ad ho c полиморфизма, но в другом направлении

Ailrk / 03 августа 2020

1 голос

1 ответ

Стирание типа во вложенном списке с заданным контекстом

finite_diffidence / 21 июня 2020

1 голос

2 ответов

Разрешение реализации распределенного DSL выбирать формат сериализации (через семейство ограничений)

æons / 20 июня 2020

1 голос

1 ответ

Как определить вспомогательные типы, независимые от пути в классе типов Scala?

Suma / 18 июня 2020

1 голос

1 ответ

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

J. M. / 29 мая 2020

4 голосов

1 ответ

Неявная ошибка при попытке реализовать класс типов `Absurd`

Joe / 25 мая 2020

2 голосов

2 ответов

В функционале Scala, как лучше go преобразовать один параметризованный тип в другой?

Vasily802 / 07 мая 2020

1 голос

1 ответ

Gh c не может сделать вывод об использовании экземпляров mtl, несмотря на записи в контексте функции

Edmund's Echo / 05 мая 2020

0 голосов

1 ответ

Haskell - Типы перекрывающихся экземпляров и преобразования

HallaSurvivor / 27 апреля 2020

4 голосов

1 ответ

Преобразование типовой обработки в типовой класс

Alon / 26 апреля 2020

1 голос

1 ответ

Использование класса типов для шаблона аргумента variadi c в Haskell

Mike / 26 апреля 2020

0 голосов

2 ответов

Использовать самый низкий подтип в классе типов?

DeFuncT / 23 апреля 2020

0 голосов

0 ответов

Как обрабатывать данные типа Dynami c для объекта моделей в angular

Walaa Alaa / 22 апреля 2020

0 голосов

1 ответ

Как различные прагмы "..Instances" работают вместе, и есть ли способ обойти мою текущую проблему?

David van Balen / 18 апреля 2020

0 голосов

2 ответов

Как набрать стиль передачи словаря?

bob / 16 апреля 2020

2 голосов

1 ответ

DataSet / DataStream типа интерфейс класса

salvalcantara / 13 апреля 2020

0 голосов

1 ответ

Как использовать shapeless для абстрагирования клиента репозитория в универсальный модуль репозитория c

Rabzu / 11 апреля 2020

0 голосов

2 ответов

Получение экземпляра класса типа через родительский тип

synapse / 10 апреля 2020

5 голосов

1 ответ

Почему параметр может принимать любую конструкцию класса типов, но его значение не может быть построено условно?

samdy1 / 09 апреля 2020

0 голосов

1 ответ

Как указать класс типов для классов данных в Kotlin

javadba / 08 апреля 2020

9 голосов

1 ответ

Почему «трюк с ограничениями» не работает в этом экземпляре HasField, заданном вручную?

danidiaz / 07 апреля 2020

1 голос

1 ответ

Взаимно рекурсивно определенные методы класса типов со значениями по умолчанию

Cactus / 05 апреля 2020