Implementacja "show" dla funkcji

Question

Chciałbym wdrożyć metodę show dla (binarnych) funkcji i sprawić, by była w stanie odróżnić endofunkcje (a -> a).

Coś kodu pseudo-Haskell:

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

Jak można rozróżnić dwa przypadki?

Answer 1

Musisz włączyć niektóre rozszerzenia:

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

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

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

Ty potrzebujesz OverlappingInstances ponieważ instancja a -> b pasuje również endofunctions, więc nie pokrywają się, i trzeba FlexibleInstances ponieważ język standardowych mandatów, że zmienne typu w deklaracji instancji są odrębny.

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