associated-types

Мне нужна "универсальная" структура картографических данных, которая может быть эффективно специализирована путем предоставления пользовательских экземпляров, как в разделе руководства GHC по семействам типов. {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE Undecidab...

Мне нужно создать универсальную функцию в протоколе с реализацией по умолчанию в расширении. It func должен работать с элементом как enum:RawRepresentable где RawValue == String всегда. Я пытался protocol RequiresEnum: class { associatedtype SectionIdentifierEnum: RawRepresentable // how this add restri...

может ли шаблон Haskell узнать имена и / или объявления связанных синонимов типов, объявленных в классе типов? Я ожидал reify будет делать то, что я хочу, но он, кажется, не предоставляет всю необходимую информацию. Он работает для получения сигнатур типа функции: % ghci GHCi, version 7.8.3: http://www.has...