在haskell中显示约束类型

Question

我正在尝试使用show function打印到zer或one的控制台值，但是我做不到。 这是我的代码：

{-# LANGUAGE NoMonomorphismRestriction #-}

import Control.Arrow
import Data.List
import qualified Data.Map as M
import Data.Function

class Eq a => Bits a where
    zer :: a
    one :: a

instance Bits Int where
    zer = 0
    one = 1

instance Bits Bool where
    zer = False
    one = True

instance Bits Char where
    zer = '0'
    one = '1'

我正在尝试使用函数show将zer或一个转换为字符串。 所以我尝试了：

k = zer
show k

但是我得到这个错误

<interactive>:10:1: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘show’
      prevents the constraint ‘(Show a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        instance (Show k, Show a) => Show (M.Map k a)
          -- Defined in ‘containers-0.5.7.1:Data.Map.Base’
        instance Show Ordering -- Defined in ‘GHC.Show’
        instance Show Integer -- Defined in ‘GHC.Show’
        ...plus 24 others
        ...plus 11 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the expression: show zer
      In an equation for ‘it’: it = show zer

所以我试图创建实例来显示。 所以我将其添加到我的代码中：

instance (Show a) => Show (Bits a) where
    show zer = "0"
    show one = "1"

但是我又遇到一个错误

main.hs:25:28: error:
    • Expected a type, but ‘Bits a’ has kind ‘Constraint’
    • In the first argument of ‘Show’, namely ‘Bits a’
      In the instance declaration for ‘Show (Bits a)’

你能告诉我我做错了什么吗？

Answer 1

您试图使一个类成为一个类的实例，而不是使一个类型成为一个类的实例。 相比：

Show a => Show (Bits a) -- Invalid

至

Show a => Show (Maybe a) -- Valid

其中Maybe是数据类型，而Bits是类名称。

---

我认为不可能表达“任何具有Bits实例的实例都具有Show实例的实例”，因为它可能导致实例重叠 ：如果您可以定义类似的实例 ，则在使用show :: Int -> String the编译器不知道是使用Show Int的Prelude实例，还是使用Int作为Bits的实例定义的show 。

一个麻烦的解决方法可能是强制执行“另一个方向”：每个Bits实例必须是Show的实例，这将允许您使用a Show实例，而不是您自己的Show实例：

class (Show a, Eq a) => Bits a where
    zer :: a
    one :: a

main = print (zer :: Int)

尽管这需要显式的类型签名来解决呼叫站点上zer类型的歧义。