1

我想使用TypeError约束使“非实例”产生更有意义的类型错误：

{-# LANGUAGE DataKinds, KindSignatures #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}

import GHC.TypeLits
import Data.Proxy

class Compat (x :: Bool) (y :: Bool) where
    combine :: Proxy x -> Proxy y -> Int

instance Compat False pre2 where
    combine _ _ = 42

instance Compat True False where
    combine _ _ = 1

instance (TypeError (Text "Meaningful error message goes here")) => Compat True True where
    combine = _

在这个洞里，我想通过TypeError约束消除来填充它，即使用我TypeError在范围内有一个约束的事实来避免编写undefined或error类似的东西。

那可能吗？

4

1 回答 1

1

我认为标准不可能做到这一点TypeError，但您可以定义自己的变体（TE如下），以便提供您需要的消除器。

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

import GHC.TypeLits
import Data.Kind

class Impossible where
    impossible :: a

type family TE (t :: ErrorMessage) :: Constraint where
  TE t = (TypeError t, Impossible)

class C t where
   foo :: t -> Bool
   
instance (TE (Text "impossible")) => C Bool where
   foo _ = impossible
于 2020-09-20T07:46:20.917 回答