Описание тега overlapping-instances

Вопросы с тегом
Вопросы, связанные с расширением GHC haskell ʻOverlappingInstances`
1 ответ

Непредвиденная ошибка перекрывающихся экземпляров

У меня есть следующий код. Class1 случаи говорят, что прямой суперкласс класса, SuperClass1 автоматически проходит Class1 найти все суперклассы. (Я пропустил фактические методы этих классов, потому что они не имеют отношения к моей проблеме.) {-# LA…
05 фев '17 в 15:40
0 ответов

Разделите изображение на перекрывающиеся блоки, используя matlab

Я хочу разделить изображение на перекрывающиеся блоки. Например, изображение 256x256 делится на (256-16+1)x(256-16+1)=58081 перекрывающихся блоков размером 16x16. Пожалуйста, дайте мне знать, как реализовать этот пример с помощью MATLAB?
19 апр '15 в 16:44
0 ответов

Странная программа, которая требует несвязных экземпляров, но всегда, кажется, выбирает "правильный"?

Рассмотрим следующую программу, которая компилируется только с включенными некогерентными экземплярами: {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleInstances #-} {-# LANGUAGE IncoherentInstances #-} main = do print (g (undefined :: Int…
21 фев '16 в 13:21
2 ответа

Незаконное объявление экземпляра / перекрывающиеся экземпляры

С учетом классов X и Y, какой самый идиоматический подход к созданию экземпляров классов друг друга? например - instance (X a) => Y a where ... instance (Y a) => X a where ... Я хотел бы избежать расширений. Кроме того, я знаю, что это может в…
23 апр '13 в 05:07
1 ответ

Могу ли я указать перекрытие / перекрытие в 7.8, как 7.10 в Haskell?

Можно ли указать, какой экземпляр перекрывается, а какой перекрывается с помощью ghc 7.8 OverlappingInstances? Я пытаюсь внести некоторые обновления / изменения в пакеты servant/servant-server. Все прекрасно скомпилировано и все тесты пройдены, кром…
18 авг '15 в 20:47
2 ответа

Перемещение вызова функции туда, где предложение нарушает проверку типов с помощью OverlappingInstances.

Я использовал OverlappingInstances сделать красивый класс печати, который по умолчанию Show всякий раз, когда я не предоставил пользовательский экземпляр для какого-либо типа. По некоторым причинам это, кажется, ломается всякий раз, когда вы использ…
10 авг '16 в 18:22
2 ответа

Num экземпляр для Monad; перекрывающиеся экземпляры только при наличии, казалось бы, не связанного кода?

У меня есть немного кода, который был бы написан более четко, если бы я мог лечить Monadкак Numс (где это применимо, конечно). Достаточно легко сделать: {-# LANGUAGE FlexibleInstances #-} import Control.Monad (liftM, liftM2) import Data.Char (digitT…
16 дек '12 в 05:40
2 ответа

MonadError экземпляр для свободной монады

Я создал очень полезную Free Monad из типа данных sum. Это абстрагирует доступ к постоянному хранилищу данных: data DataStoreF next = Create Asset ( String -> next) | Read String ( Asset -> next) | Update Asset ( Bool -> next) | UpdateAll […
05 авг '16 в 22:40
4 ответа

Как разделить общий контекст между классами?

Настоящий сценарий: У меня есть набор классов, которые все принимают общий аргумент context в конструкторе, и все классы наследуются от общей базы. class base: def common_method(self): pass class a(base): def __init__(self,context, aa): pass class b…
22 мар '12 в 02:08
1 ответ

Перекрывающиеся экземпляры Haskell и функции типов

У меня есть следующий класс типов, который моделирует SQL-подобную оптимизацию запросов: class OptimizableQuery q where type Optimized q :: * optimize :: q -> Optimized q instance Query q => OptimizableQuery q where type Optimized q = q optimi…
16 дек '10 в 16:41
3 ответа

Как оценить набор данных для перекрытия классов

Я использую Weka для разработки классификатора для медицинской проблемы. Этот набор данных имеет ситуацию дисбаланса классов, и я хочу знать, есть ли проблема перекрытия классов. Каждая запись имеет 30 атрибутов. Как я могу узнать, есть ли перекрыти…
05 апр '12 в 16:42
0 ответов

В GHC-8.2.2 может ли перекрывающееся разрешение экземпляра зависеть от того, включен ли файл в качестве открытого модуля?

Я сталкиваюсь со следующим трудно понять поведение из GHC-8.2.2 У меня есть несколько перекрывающихся экземпляров классов типов. Нет непоследовательных экземпляров классов типов. Есть определенный экземпляр класса типов, примерно, instance (C f h, C…
16 авг '18 в 17:31
1 ответ

Определение дополнительных сред без использования перекрывающихся экземпляров

Как определить среду, в которую мы можем добавить "возможности", не сталкиваясь с перекрывающимися экземплярами? Предположим, у нас есть следующие типы данных и классы типов: type Name = String data Fruit = Orange | Pear | Apple data Vegetable = Cuc…
28 мар '18 в 22:14
1 ответ

Haskell/GHC: сообщается о перекрывающихся экземплярах, в то время как контекст допускает только один

Уважаемые эксперты Haskell/GHC, Я не очень понимаю, почему GHC сообщает о перекрывающихся экземплярах, в то время как только один действительно действителен в соответствии с предоставленными контекстами. Например, давайте рассмотрим следующий фрагме…
06 янв '17 в 09:52
1 ответ

Могу ли я использовать OverlappingInstances для получения более приятных сообщений об ошибках?

В настоящее время я имею дело с кодом на Haskell, который я не написал, но в который внес изменения. После моих изменений я запускаю программу и получаю следующее сообщение об ошибке: Prelude.!!: index too large Призыв к !! не в моем коде, поэтому р…
21 ноя '15 в 07:23
1 ответ

Использование класса Additive из числовой прелюдии приводит к перекрывающимся экземплярам

При попытке определить некоторые математические объекты с помощью числовой прелюдии я столкнулся с проблемой. Класс типов Additive определяет экземпляр instance Additive.C v => Additive.C [v] Который я читаю "если v является аддитивным, то [v] сл…
26 авг '12 в 17:19
1 ответ

GHC использует универсальный экземпляр, если ограничение отсутствует?

Я экспериментировал с этой простой реализацией HLists и функцией hasInt который возвращается True если Int является членом списка: {-# LANGUAGE FlexibleInstances #-} data HNil = HNil deriving (Show, Read) data HCons a b = HCons a b deriving (Show, R…
25 июл '17 в 23:24
1 ответ

Существуют ли какие-либо языковые расширения или потомки языка Haskell, которые предпочитают выразительность, особенно в обработке экземпляров?

Иногда я сталкиваюсь с "особенностью", что Haskell соответствует только головкам экземпляров, а именно: instance (a ~ NewDataTyp b) => C a теперь будет соответствовать любому типу, то есть писать объявление другого экземпляра C в вашей программе …
26 янв '12 в 02:56
1 ответ

GHC Перекрывающиеся случаи при обобщении сложения

Пытаясь обобщить (+) больше, чем просто Nums, я написал до Addable учебный класс: {-# LANGUAGE FlexibleContexts, FlexibleInstances, UndecidableInstances #-} class Addable a where (+) :: Addable a => a -> a -> a instance Addable [a] where (+…
29 авг '16 в 20:58
2 ответа

Составная и Иерархия без общих переменных экземпляра

Я написал хороший кусок кода, который сильно зависит как от наследования, так и от композиции. Теперь я столкнулся с проблемой, когда моим иерархическим классам нужны общие переменные для работы друг с другом, но это приводит к тому, что составные к…
07 янв '14 в 13:56