在类型类约束中使用`typeError'时避免``undefined''

Question

我有一个类型类别的实例：

instance {-# OVERLAPPABLE #-} (TypeError ( 'Text "Some error")) => SomeClass x where
  someMethod = undefined

此实例存在于其他（有效）实例的末尾。当用户写入不符合这些有效实例的类型时，想法是让编译器抛出类型错误。 typeerror在实例约束中实现了这一点，但这也迫使我用undefined填写该方法，感觉就像是黑客攻击。

有没有办法避免这种情况？还是更好？

使用此模式。

Answer 1

我能实现的最好的方法是。从本质上讲，我定义了typeerr类型的家族代表标准typeerror约束和附加不可能的约束提供所需的见证。 不可能的总是无法作为约束解决，但是无论如何，类型错误还是首先触发。

{-# LANGUAGE DataKinds, UndecidableInstances, TypeFamilies #-}

import GHC.TypeLits (
  ErrorMessage (Text),
  TypeError,
 )

class Impossible where
  impossible :: a

type family TypeErr t where
  TypeErr t = (TypeError t, Impossible)

-- Dummy example
class SomeClass x where
  someMethod :: x -> Maybe x

instance {-# OVERLAPPABLE #-} (TypeErr ( 'Text "Some error")) 
         => SomeClass x where
  someMethod = impossible

main :: IO ()
main = print (someMethod True)
{-
<source>:19:15: error:
    * Some error
    * In the first argument of `print', namely `(someMethod True)'
      In the expression: print (someMethod True)
      In an equation for `main': main = print (someMethod True)
-}

Answer 2

我们有不允许 Trevial​​-Constraint软件包中的类。它提供 nope pseudo-method，它是undefined的版本，只能在不可能的上下文中使用（并通过可能“使用” 来见证这一点未包装，您无法使用标准未定义的）。

instance {-# OVERLAPPABLE #-} (Disallowed "fallback for `SomeClass`")
    => SomeClass x where
  someMethod = nope