関数の "show"の実装

Question

メソッドを（バイナリ）関数に実装して、関数endendunctionを区別できるようにします(a -> a)。擬似Haskellのコードのような

何か：

instance Show (a->b) where 
    show fun = "<<Endofunction>>" if a==b 
    show fun = "<<Function>>" if a\=b 

がどのように私は2つのケースを区別することができますか？

Answer 1

あなたはいくつかの拡張機能を有効にする必要があります

{-# LANGUAGE OverlappingInstances, FlexibleInstances #-} 
module FunShow where 

instance Show ((->) a a) where 
    show _ = "<<Endofunction>>" 

instance Show ((->) a b) where 
    show _ = "<<Function>>" 

あなたはOverlappingInstancesを必要とするインスタンスa -> bもendofunctionsと一致するので、オーバーラップがあります、そしてあなたは、インスタンス宣言で型変数がある言語の標準的な任務のでFlexibleInstancesを必要とするので、異なる。

*FunShow> show not 
"<<Endofunction>>" 
*FunShow> show fst 
"<<Function>>" 
*FunShow> show id 
"<<Endofunction>>"