Gibt es eine Möglichkeit, die überlappende Instanzentscheidung zu verfolgen?

Question

Kann man (zur Kompilierzeit) wissen, welche Instanz der Compiler im Falle einer überlappenden Instanz auswählt?

konstruiertes Beispiel,

{-# LANGUAGE IncoherentInstances #-} 


class Transformable a b where 
    transform :: a -> b 

instance Transformable a Int where 
    transform _ = 17 

instance a ~ b => Transformable a b where 
    transform x = x 

Was ist das Ergebnis von tranform (1:: Int) :: Int? (1 oder 17) Gibt es eine Möglichkeit zu wissen, wann Instanziierung Transformable Int Int, wenn der Compiler Instanz 1 oder Instanz 2 scho? Es ist auch manchmal nützlich, wenn es keine Überlappung gibt, aber die Kette der Instanziierung ist kompliziert.

Answer 1

Sie können immer Debug.Trace verwenden:

import Debug.Trace 
... 

instance Transformable a Int where 
    transform _ = trace "using Int definition" 17 

instance a ~ b => Transformable a b where 
    transform x = trace "using a ~ b definition" x