Typeclass宣言型の不一致

Question

Cell型をShow型のメンバにしようとしています。 show a行に問題があります。どのようにaがショーケースでCharであることを確認しますか？私は、この声明の発注がフォールスルーに対応することを期待していましたが、それはそれをしません。

data Cell = Solid | Blank | Char 

instance Show (Cell) where 
    show Solid = "X" 
    show Blank = "_"; 
    show a = [a] 

main = print $ show Solid 

Answer 1

data Cell = Solid | Blank | Char 

これは、Solidを意味し、tagged unionでBlank、そしてCharは、コンストラクタ名、ないタイプです。たとえば、Char :: Cellです。

私はあなたがこのようなものだった何を意味するのか疑う

：

data CellType = CellConstructor Char 

instance Show CellType where 
    show (CellConstructor c) = [c] 

例：

• CellConstructor 'X' :: CellType
• CellConstructor '_' :: CellType
• CellConstructor 'a' :: CellType

コンストラクタが1つしかない場合は、型とコンストラクタに同じ名前を付けるのが通例です。

フィールドが1つしかないコンストラクタが1つしかない場合は、newtypeを使用するのが通常です。

newtype Cell = Cell Char 

Answer 2

CharここではタイプがCharではありません。これはCharという名前の新しいデータコンストラクタです。

> show Solid 
"X" 
> show Blank 
"_" 
> show (Char '4') 
"4" 

Answer 3

は主にshow機能で、型クラスShowの定義を見て：あなたはCellはSolid、Blank、またはタイプCharの値になりたい場合は、

data Cell = Solid | Blank | Char Char 

instance Show Cel where 
    show Solid = "X" 
    show Blank = "_" 
    show (Char c) = [c] 

いくつかの例を必要とします：

class Show a where 
    show  :: a -> String 

ここで、お客様のCellタイプはそれを満足させますか？最初のケースはshow Solid = "X"です - SolidはCell、"X"は文字列です。後者の場合も同様です。しかし、3番目のケースは何ですか？ show a = [a]と定義したため、タイプシグネチャはCell -> [Cell]で、[Cell]はStringではありません。したがって、タイプの不一致が発生します。

Answer 4

aは、Charの値であることを確認することはできません。理由は単純ではないからです。 aは常にタイプCellの値になります。具体的には値Char（これはタイプCharとは関係ありません）です。

Cellの3番目のコンストラクタには、Charの値が含まれていると思われます。あなたのコンストラクタは、パラメータを必要としていることを実行します。

コンストラクタ CharCellが使用されており、 a値が CharCellとして使用する場合のパラメータ（ひいてはタイプ Charを持っていることが CharCellあるとして「 CharCell aケースが一致し

data Cell = Solid | Blank | CharCell Char 

instance Show (Cell) where 
    show Solid = "X" 
    show Blank = "_" 
    show (CharCell a) = [a] 

sパラメータタイプ）。