17
ответов
Как вызвать оператор класса вывода ()? [Дубликат]
Я хочу создать структуру выражения, вычислить значение (вызывая operator (). Expr - базовый класс выражения, он должен работать как result = expression (100500). Const_value - struct возвращает константу ...
вопрос задан: 22 March 2017 17:09
1
ответ
Как перейти от значения конечного дискретного типа к (Конечный n) и обратно, используя производный общий экземпляр типа в Haskell?
У меня есть библиотека, которая в настоящее время требует от пользователей, чтобы они предоставляли вспомогательную функцию с типом: tEnum :: (KnownNat n) = & gt; MyType - & gt; Конечный n, так что реализация библиотеки может использовать очень ...
вопрос задан: 14 July 2018 02:10
0
ответов
Как происходит наследование в Haskell?
Алгебраические типы данных (ADT) в Haskell могут автоматически становиться экземплярами некоторых классов типов (например, Show, Eq), производя от них производные. данные Может быть = Ничего | Просто производное (Eq, Ord) My ...
вопрос задан: 3 March 2017 16:23
0
ответов
Haskell: получить имя конструктора данных в виде строки
Допустим, у нас есть данные D = X Int | Y Int Int | Z String Я хочу иметь функцию getDConst getDConst :: D -> String, которая возвращает либо "X", "Y", либо "Z", в соответствии с конструктором данных ...
вопрос задан: 18 August 2013 08:39
0
ответов
Автоматическое создание Data.Vector.Unbox со связанными синонимами типов
У меня есть новый тип данных Zq q = Zq (IntType q ), где «q» будет экземпляром класса класса Foo a, где тип IntType a, а «IntType» — это просто базовое представление (, т.е. Int,...
вопрос задан: 9 July 2012 17:02
0
ответов
На основе классов, сгенерированных Entity Framework в C#
Я создал модель данных сущности и создал на ее основе базу данных. Одна из сущностей называется Template. Созданные частичные классы для расширения функциональности шаблона отлично работают. Если я создам...
вопрос задан: 26 March 2012 22:13
0
ответов
haskell — какой-либо способ генерировать «производные» экземпляры для грубо кортежно-изоморфных типов данных?
Предположим, у меня есть тип данных, такой как данные D a = D a a a и класс класса типов C c ...
instance (C c1, C c2) => C (c1, c2) Затем я хочу иметь возможность записывать данные D a = D aaa, производные C, и иметь...
вопрос задан: 11 March 2012 23:21
0
ответов
Haskell - есть ли способ отключить синтаксис повторной привязки для случая создания экземпляров?
Существует раздражающая «особенность», что на создание экземпляров также влияет расширение RebindableSyntax. Пример того, что я хочу написать: {- # LANGUAGE RebindableSyntax # -}
импортная версия Prelude
...
вопрос задан: 26 January 2012 20:27
0
ответов
Существует ли механизм Template Haskell / deriving для Data.Binary (или друзей?)
В документации по Data.Binary показано написание экземпляра вручную. Есть ли способ обойти это? Я видел здесь другую библиотеку, SerTH, которая имеет (основанный на Template Haskell) механизм выведения, но ...
вопрос задан: 3 January 2012 15:39