Haskell: Преобразование между

Question

классов типов Для этих данных:

data A = A 
data B = B 

class C1 a where repr :: a -> String 
instance C1 A where repr _ = "A" 
instance C1 B where repr _ = "B" 

class C2 a 
instance C2 A 

Есть ли способ, чтобы реализовать функцию с этим типом?

conv :: (C1 a, C2 b) => a -> Maybe b 

Она должна возвращать Just . id для аргумента типа, который является экземпляром C2 и Nothing для любого другого типа.

repr является инъективным. Я могу изменить класс C2, но класс C1 находится в внешней библиотеке.

Answer 1

Нет, это невозможно. В предположении открытого мира говорится, что нет способа показать (во время компиляции или во время выполнения), что данный тип не экземпляр данного класса.

Answer 2

Зачем нужен класс типа C2? Вы можете просто сделать это:

conv :: C1 a => a -> Maybe a 
conv a = case repr a of 
      "A" -> Just a 
      _ -> Nothing 

Это работает в предположении, что функция repr является injective.

---

Edit: Вот как реализовать функцию conv так, как вы хотите:

{-# LANGUAGE TypeFamilies #-} 

conv :: (C1 a, C2 b, a ~ b) => a -> Maybe b 
conv a = case repr a of 
      "A" -> Just a 
      _ -> Nothing 

Обратите внимание, что ограничение равенства a ~ b требуется. Он сообщает компилятору, что тип a и тип b должны быть одного типа. Чтобы использовать ограничение равенства, нам нужно включить расширение TypeFamilies.